public class InternalActionLiteral extends Structure implements LogicalFormula
emptyTermArray, emptyTermList
LFalse, LNeg, LPos, LTrue, predicateIndicatorCache
hashCodeCache, srcInfo
Constructor and Description |
---|
InternalActionLiteral(InternalActionLiteral l) |
InternalActionLiteral(java.lang.String functor) |
InternalActionLiteral(Structure p,
Agent ag) |
Modifier and Type | Method and Description |
---|---|
Term |
capply(Unifier u)
clone and applies together (and faster than clone and then apply)
|
InternalActionLiteral |
clone()
make a deep copy of the terms
|
org.w3c.dom.Element |
getAsDOM(org.w3c.dom.Document document)
get as XML
|
java.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) |
addTerm, addTerms, addTerms, calcHashCode, compareTo, countVars, delTerm, equals, getArity, getSingletonVars, getTerm, getTerms, getTermsSize, hasTerm, hasVar, isGround, isStructure, isUnary, makeTermsAnnon, makeVarsAnnon, parse, setTerm, setTerms, subsumes, toString, varToReplace
getFunctor
addAnnot, addAnnots, addAnnots, addSource, canBeAddedInBB, clearAnnots, copy, delAnnot, delAnnots, delSource, delSources, equalsAsStructure, forceFullLiteralImpl, getAnnot, getAnnots, getAnnots, getAsListOfTerms, getPredicateIndicator, getSources, getTermsArray, hasAnnot, hasAnnot, hasSource, hasSource, hasSubsetAnnot, hasSubsetAnnot, importAnnots, isLiteral, negated, newFromListOfTerms, parseLiteral, setAnnots, setNegated
getCyclicVar, getSrcInfo, hashCode, isArithExpr, isCyclicTerm, isList, isNumeric, isPlanBody, isPred, isRule, isString, isUnnamedVar, isVar, resetHashCodeCache, setSrcInfo
finalize, getClass, notify, notifyAll, wait, wait, wait
countVars, equals, getCyclicVar, getSrcInfo, hasVar, isArithExpr, isCyclicTerm, isGround, isList, isLiteral, isNumeric, isPlanBody, isPred, isRule, isString, isStructure, isUnnamedVar, isVar, setSrcInfo, subsumes
public InternalActionLiteral(java.lang.String functor)
public InternalActionLiteral(InternalActionLiteral l)
public boolean isInternalAction()
isInternalAction
in interface Term
isInternalAction
in class DefaultTerm
public boolean isAtom()
public Literal makeVarsAnnon(Unifier un)
Literal
makeVarsAnnon
in class Structure
un
- is the unifier that contains the map of replacementspublic java.util.Iterator<Unifier> logicalConsequence(Agent ag, Unifier un)
Literal
logicalConsequence
in interface LogicalFormula
logicalConsequence
in class Literal
public void setIA(InternalAction ia)
public InternalAction getIA(Agent ag) throws java.lang.Exception
java.lang.Exception
public java.lang.String getErrorMsg()
getErrorMsg
in class DefaultTerm
public Term capply(Unifier u)
Term
public InternalActionLiteral clone()
Structure