Package jason.asSyntax

Class LiteralImpl

java.lang.Object

jason.asSyntax.DefaultTerm

jason.asSyntax.Literal

jason.asSyntax.Atom

jason.asSyntax.Structure

jason.asSyntax.Pred

jason.asSyntax.LiteralImpl

All Implemented Interfaces:

LogicalFormula, Term, ToDOM, ToJson, Serializable, Cloneable, Comparable<Term>

Direct Known Subclasses:

CyclicTerm, Rule, VarTerm

public class LiteralImpl
extends Pred

A Literal extends a Pred with strong negation (~).

See Also:

• Serialized Form

Field Summary

Fields inherited from class jason.asSyntax.Structure

emptyTermArray, emptyTermList

Fields inherited from class jason.asSyntax.Literal

DefaultNS, LFalse, LNeg, LPos, LTrue, predicateIndicatorCache

Fields inherited from class jason.asSyntax.DefaultTerm

hashCodeCache, srcInfo

Constructor Summary

Constructors

Modifier	Constructor	Description
	LiteralImpl(boolean pos, Literal l)	if pos == true, the literal is positive, otherwise it is negative
	LiteralImpl(boolean pos, String functor)	if pos == true, the literal is positive, otherwise it is negative
	LiteralImpl(Atom namespace, boolean pos, Literal l)	creates a literal based on another but in another name space and signal
	LiteralImpl(Atom namespace, boolean pos, String functor)	if pos == true, the literal is positive, otherwise it is negative
	LiteralImpl(Literal l)
protected	LiteralImpl(Literal l, Unifier u)
	LiteralImpl(String functor)	creates a positive literal

Method Summary

Modifier and Type	Method	Description
protected int	calcHashCode()
boolean	canBeAddedInBB()	to be overridden by subclasses (as internal action)
Term	capply(Unifier u)	clone and applies together (and faster than clone and then apply)
Term	clone()	make a deep copy of the terms
Literal	cloneNS(Atom newNameSpace)	clone in another namespace
boolean	equals(Object o)
Element	getAsDOM(Document document)	get as XML
String	getErrorMsg()
PredicateIndicator	getPredicateIndicator()	returns [~] super.getPredicateIndicator
boolean	isAtom()
boolean	negated()	returns whether this literal is negated or not, use Literal.LNeg and Literal.LPos to compare the returned value
Literal	setNegated(boolean b)	changes the negation of the literal and return this

Methods inherited from class jason.asSyntax.Pred

addAnnot, addAnnots, addAnnots, addSource, capplyAnnots, clearAnnots, countVars, createSource, delAnnot, delAnnots, delSource, delSources, equalsAsStructure, getAnnot, getAnnots, getAnnots, getSources, hasAnnot, hasAnnot, hasSource, hasSource, hasSubsetAnnot, hasSubsetAnnot, hasVar, importAnnots, isGround, isPred, makeVarsAnnon, parsePred, setAnnots, toStringAsTerm

Methods inherited from class jason.asSyntax.Structure

addTerm, addTerms, addTerms, delTerm, getArity, getSingletonVars, getTerm, getTerms, getTermsSize, hasTerm, isStructure, isUnary, makeTermsAnnon, makeVarsAnnon, parse, setTerm, setTerms, subsumes, toString, varToReplace

Methods inherited from class jason.asSyntax.Atom

compareTo, getFunctor, getNS

Methods inherited from class jason.asSyntax.Literal

addSourceInfoAsAnnots, copy, delAnnots, forceFullLiteralImpl, getAsJson, getAsListOfTerms, getTermsArray, isLiteral, logicalConsequence, newFromListOfTerms, newFunctor, noSource, parseLiteral, subjectToBUF

Methods inherited from class jason.asSyntax.DefaultTerm

getCyclicVar, getSrcInfo, hashCode, isArithExpr, isCyclicTerm, isInternalAction, isList, isMap, isNumeric, isPlanBody, isRule, isSet, isString, isUnnamedVar, isVar, resetHashCodeCache, setSrcInfo

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface jason.asSyntax.Term

getCyclicVar, getSrcInfo, isArithExpr, isCyclicTerm, isInternalAction, isList, isMap, isNumeric, isPlanBody, isRule, isSet, isString, isUnnamedVar, isVar, setSrcInfo

Methods inherited from interface jason.util.ToJson

getAsJsonStr

Constructor Details

LiteralImpl

public LiteralImpl(String functor)

creates a positive literal

LiteralImpl

public LiteralImpl(boolean pos,
 String functor)

if pos == true, the literal is positive, otherwise it is negative

LiteralImpl

public LiteralImpl(Literal l)

LiteralImpl

protected LiteralImpl(Literal l,
 Unifier u)

LiteralImpl

public LiteralImpl(boolean pos,
 Literal l)

if pos == true, the literal is positive, otherwise it is negative

LiteralImpl

public LiteralImpl(Atom namespace,
 boolean pos,
 String functor)

if pos == true, the literal is positive, otherwise it is negative

LiteralImpl

public LiteralImpl(Atom namespace,
 boolean pos,
 Literal l)

creates a literal based on another but in another name space and signal

Method Details

isAtom

public boolean isAtom()

Specified by:

isAtom in interface Term

Overrides:

isAtom in class Pred

canBeAddedInBB

public boolean canBeAddedInBB()

to be overridden by subclasses (as internal action)

Overrides:

canBeAddedInBB in class Literal

negated

public boolean negated()

Description copied from class: Literal

returns whether this literal is negated or not, use Literal.LNeg and Literal.LPos to compare the returned value

Overrides:

negated in class Literal

setNegated

public Literal setNegated(boolean b)

Description copied from class: Literal

changes the negation of the literal and return this

Overrides:

setNegated in class Literal

equals

public boolean equals(Object o)

Specified by:

equals in interface Term

Overrides:

equals in class Pred

getErrorMsg

public String getErrorMsg()

Overrides:

getErrorMsg in class DefaultTerm

clone

public Term clone()

Description copied from class: Structure

make a deep copy of the terms

Specified by:

clone in interface Term

Overrides:

clone in class Pred

capply

public Term capply(Unifier u)

Description copied from interface: Term

clone and applies together (and faster than clone and then apply)

Specified by:

capply in interface Term

Overrides:

capply in class Pred

cloneNS

public Literal cloneNS(Atom newNameSpace)

Description copied from interface: Term

clone in another namespace

Specified by:

cloneNS in interface Term

Overrides:

cloneNS in class Pred

calcHashCode

protected int calcHashCode()

Overrides:

calcHashCode in class Structure

getPredicateIndicator

public PredicateIndicator getPredicateIndicator()

returns [~] super.getPredicateIndicator

Overrides:

getPredicateIndicator in class Literal

getAsDOM

public Element getAsDOM(Document document)

get as XML

Specified by:

getAsDOM in interface ToDOM

Overrides:

getAsDOM in class Pred