public class Plan extends Structure implements java.lang.Cloneable, java.io.Serializable
Literal.FalseLiteral, Literal.TrueLiteral
Modifier and Type | Field and Description |
---|---|
private PlanBody |
body |
private LogicalFormula |
context |
private boolean |
hasBreakpoint |
private boolean |
isAllUnifs |
private boolean |
isAtomic |
private boolean |
isTerm |
private Pred |
label |
private static java.util.logging.Logger |
logger |
private static Term |
noLabelAtom |
private static long |
serialVersionUID |
private static Term |
TAllUnifs |
private static Term |
TAtomic |
private static Term |
TBreakPoint |
private Trigger |
tevent |
emptyTermArray, emptyTermList
DefaultNS, LFalse, LNeg, LPos, LTrue, predicateIndicatorCache
hashCodeCache, srcInfo
Constructor and Description |
---|
Plan() |
Plan(Pred label,
Trigger te,
LogicalFormula ct,
PlanBody bd) |
Modifier and Type | Method and Description |
---|---|
Plan |
capply(Unifier u)
clone and applies together (and faster than clone and then apply)
|
Term |
clone()
make a deep copy of the terms
|
Plan |
cloneNS(Atom ns)
clone in another namespace
|
Plan |
cloneOnlyBody()
used to create a plan clone in a new IM
|
boolean |
equals(java.lang.Object o) |
int |
getArity()
returns the number of terms of this literal
|
org.w3c.dom.Element |
getAsDOM(org.w3c.dom.Document document)
get as XML
|
PlanBody |
getBody() |
LogicalFormula |
getContext() |
Pred |
getLabel() |
Term |
getTerm(int i)
returns the i-th term (first term is 0)
|
Trigger |
getTrigger() |
Trigger |
getTriggerEvent()
Deprecated.
use getTrigger
|
boolean |
hasBreakpoint() |
boolean |
isAllUnifs() |
boolean |
isAtomic() |
Unifier |
isRelevant(Trigger te)
returns an unifier if this plan is relevant for the event te,
returns null otherwise.
|
static Plan |
parse(java.lang.String sPlan)
prefer using ASSyntax.parsePlan
|
void |
setAsPlanTerm(boolean b) |
void |
setContext(LogicalFormula le) |
void |
setLabel(Pred p) |
void |
setTerm(int i,
Term t) |
java.lang.String |
toASString()
returns this plan in a string complaint with AS syntax
|
java.lang.String |
toString() |
addTerm, addTerms, addTerms, calcHashCode, compareTo, countVars, delTerm, getSingletonVars, getTerms, getTermsSize, hasTerm, hasVar, isAtom, isGround, isStructure, isUnary, makeTermsAnnon, makeVarsAnnon, makeVarsAnnon, setTerms, subsumes, 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, logicalConsequence, negated, newFromListOfTerms, parseLiteral, setAnnots, setNegated
getCyclicVar, getErrorMsg, getSrcInfo, hashCode, isArithExpr, isCyclicTerm, isInternalAction, isList, isNumeric, isPlanBody, isPred, isRule, isString, isUnnamedVar, isVar, resetHashCodeCache, setSrcInfo
finalize, getClass, notify, notifyAll, wait, wait, wait
getCyclicVar, getSrcInfo, isArithExpr, isCyclicTerm, isInternalAction, isList, isNumeric, isPlanBody, isPred, isRule, isString, isUnnamedVar, isVar, setSrcInfo
private static final long serialVersionUID
private static final Term TAtomic
private static final Term TBreakPoint
private static final Term TAllUnifs
private static java.util.logging.Logger logger
private Pred label
private Trigger tevent
private LogicalFormula context
private PlanBody body
private boolean isAtomic
private boolean isAllUnifs
private boolean hasBreakpoint
private boolean isTerm
private static final Term noLabelAtom
public Plan()
public Plan(Pred label, Trigger te, LogicalFormula ct, PlanBody bd)
public int getArity()
Literal
public Term getTerm(int i)
Literal
public void setLabel(Pred p)
public Pred getLabel()
public void setContext(LogicalFormula le)
public void setAsPlanTerm(boolean b)
public static Plan parse(java.lang.String sPlan)
public Trigger getTriggerEvent()
public Trigger getTrigger()
public LogicalFormula getContext()
public PlanBody getBody()
public boolean isAtomic()
public boolean hasBreakpoint()
public boolean isAllUnifs()
public Unifier isRelevant(Trigger te)
public boolean equals(java.lang.Object o)
public Plan capply(Unifier u)
Term
public Plan cloneNS(Atom ns)
Term
public Plan cloneOnlyBody()
public java.lang.String toASString()