public class InternalActionLiteral extends Structure implements LogicalFormula
Literal.FalseLiteral, Literal.TrueLiteral
Modifier and Type | Field and Description |
---|---|
private InternalAction |
ia |
private static java.util.logging.Logger |
logger |
private static long |
serialVersionUID |
emptyTermArray, emptyTermList
DefaultNS, LFalse, LNeg, LPos, LTrue, predicateIndicatorCache
hashCodeCache, srcInfo
Modifier | Constructor and Description |
---|---|
private |
InternalActionLiteral(Atom ns,
InternalActionLiteral l) |
|
InternalActionLiteral(Atom ns,
Structure p,
Agent ag) |
|
InternalActionLiteral(InternalActionLiteral l) |
private |
InternalActionLiteral(InternalActionLiteral l,
Unifier u) |
|
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
|
Literal |
cloneNS(Atom newnamespace)
clone in another namespace
|
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, getNS
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
private static final long serialVersionUID
private static java.util.logging.Logger logger
private InternalAction ia
public InternalActionLiteral(java.lang.String functor)
public InternalActionLiteral(InternalActionLiteral l)
private InternalActionLiteral(InternalActionLiteral l, Unifier u)
private InternalActionLiteral(Atom ns, InternalActionLiteral l)
public InternalActionLiteral(Structure p, Agent ag) throws java.lang.Exception
java.lang.Exception
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
public Literal cloneNS(Atom newnamespace)
Term