Package jason.asSyntax
Class InternalActionLiteral
java.lang.Object
jason.asSyntax.DefaultTerm
jason.asSyntax.Literal
jason.asSyntax.Atom
jason.asSyntax.Structure
jason.asSyntax.InternalActionLiteral
- All Implemented Interfaces:
LogicalFormula
,Term
,ToDOM
,ToJson
,java.io.Serializable
,java.lang.Cloneable
,java.lang.Comparable<Term>
public class InternalActionLiteral extends Structure implements LogicalFormula
A particular type of literal used to represent internal actions (which has a "." in the functor).
- See Also:
- Serialized Form
-
Nested Class Summary
Nested classes/interfaces inherited from class jason.asSyntax.Literal
Literal.FalseLiteral, Literal.TrueLiteral
-
Field Summary
Fields Modifier and Type Field Description private InternalAction
ia
private static java.util.logging.Logger
logger
private static long
serialVersionUID
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 private
InternalActionLiteral(Atom ns, InternalActionLiteral l)
InternalActionLiteral(Atom ns, Structure p, Agent ag)
InternalActionLiteral(InternalActionLiteral l)
private
InternalActionLiteral(InternalActionLiteral l, Unifier u)
InternalActionLiteral(Structure p, Agent ag)
InternalActionLiteral(java.lang.String functor)
-
Method Summary
Modifier and Type Method Description Term
capply(Unifier u)
clone and applies together (and faster than clone and then apply)InternalActionLiteral
clone()
make a deep copy of the termsLiteral
cloneNS(Atom newnamespace)
clone in another namespaceorg.w3c.dom.Element
getAsDOM(org.w3c.dom.Document document)
get as XMLjava.lang.String
getErrorMsg()
InternalAction
getIA(Agent ag)
boolean
isAtom()
boolean
isInternalAction()
java.util.Iterator<Unifier>
logicalConsequence(Agent ag, Unifier un)
logicalConsequence checks whether one particular predicate is a logical consequence of the belief base.Literal
makeVarsAnnon(Unifier un)
replaces all variables of the term for unnamed variables (_).void
setIA(InternalAction ia)
Methods inherited from class jason.asSyntax.Structure
addTerm, addTerms, addTerms, calcHashCode, countVars, delTerm, equals, getArity, getSingletonVars, getTerm, getTerms, getTermsSize, hasTerm, hasVar, isGround, 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
addAnnot, addAnnots, addAnnots, addSource, addSourceInfoAsAnnots, canBeAddedInBB, clearAnnots, copy, delAnnot, delAnnots, delAnnots, delSource, delSources, equalsAsStructure, forceFullLiteralImpl, getAnnot, getAnnots, getAnnots, getAsJson, getAsListOfTerms, getPredicateIndicator, getSources, getTermsArray, hasAnnot, hasAnnot, hasSource, hasSource, hasSubsetAnnot, hasSubsetAnnot, importAnnots, isLiteral, negated, newFromListOfTerms, newFunctor, noSource, parseLiteral, setAnnots, setNegated, subjectToBUF
Methods inherited from class jason.asSyntax.DefaultTerm
getCyclicVar, getSrcInfo, hashCode, isArithExpr, isCyclicTerm, isList, isMap, isNumeric, isPlanBody, isPred, 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 java.lang.Comparable
compareTo
Methods inherited from interface jason.asSyntax.Term
countVars, equals, getCyclicVar, getSrcInfo, hasVar, isArithExpr, isCyclicTerm, isGround, isList, isLiteral, isMap, isNumeric, isPlanBody, isPred, isRule, isSet, isString, isStructure, isUnnamedVar, isVar, setSrcInfo, subsumes
Methods inherited from interface jason.util.ToJson
getAsJson, getAsJsonStr
-
Field Details
-
serialVersionUID
private static final long serialVersionUID- See Also:
- Constant Field Values
-
logger
private static java.util.logging.Logger logger -
ia
-
-
Constructor Details
-
InternalActionLiteral
public InternalActionLiteral(java.lang.String functor) -
InternalActionLiteral
-
InternalActionLiteral
-
InternalActionLiteral
-
InternalActionLiteral
- Throws:
java.lang.Exception
-
InternalActionLiteral
- Throws:
java.lang.Exception
-
-
Method Details
-
isInternalAction
public boolean isInternalAction()- Specified by:
isInternalAction
in interfaceTerm
- Overrides:
isInternalAction
in classDefaultTerm
-
isAtom
public boolean isAtom() -
makeVarsAnnon
Description copied from class:Literal
replaces all variables of the term for unnamed variables (_).- Overrides:
makeVarsAnnon
in classStructure
- Parameters:
un
- is the unifier that contains the map of replacements
-
logicalConsequence
Description copied from class:Literal
logicalConsequence checks whether one particular predicate is a logical consequence of the belief base. Returns an iterator for all unifiers that are logCons.- Specified by:
logicalConsequence
in interfaceLogicalFormula
- Overrides:
logicalConsequence
in classLiteral
-
setIA
-
getIA
- Throws:
java.lang.Exception
-
getErrorMsg
public java.lang.String getErrorMsg()- Overrides:
getErrorMsg
in classDefaultTerm
-
capply
Description copied from interface:Term
clone and applies together (and faster than clone and then apply) -
clone
Description copied from class:Structure
make a deep copy of the terms -
cloneNS
Description copied from interface:Term
clone in another namespace -
getAsDOM
public org.w3c.dom.Element getAsDOM(org.w3c.dom.Document document)get as XML
-