public class NPLLiteral
extends jason.asSyntax.LiteralImpl
Modifier | Constructor and Description |
---|---|
|
NPLLiteral(jason.asSyntax.Literal l,
DynamicFactsProvider dfp) |
protected |
NPLLiteral(jason.asSyntax.Literal l,
DynamicFactsProvider dfp,
jason.asSemantics.Unifier u) |
Modifier and Type | Method and Description |
---|---|
jason.asSyntax.Term |
capply(jason.asSemantics.Unifier u) |
jason.asSyntax.Term |
clone() |
java.util.Iterator<jason.asSemantics.Unifier> |
logicalConsequence(jason.asSemantics.Agent ag,
jason.asSemantics.Unifier un) |
calcHashCode, canBeAddedInBB, compareTo, equals, getAsDOM, getErrorMsg, getPredicateIndicator, isAtom, negated, setNegated, toString
addAnnot, addAnnots, addAnnots, addSource, 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
addTerm, addTerms, addTerms, delTerm, getArity, getSingletonVars, getTerm, getTerms, getTermsSize, hasTerm, isStructure, isUnary, makeTermsAnnon, makeVarsAnnon, parse, setTerm, setTerms, subsumes, varToReplace
copy, forceFullLiteralImpl, getAsListOfTerms, getTermsArray, isLiteral, newFromListOfTerms, parseLiteral
getCyclicVar, getSrcInfo, hashCode, isArithExpr, isCyclicTerm, isInternalAction, isList, isNumeric, isPlanBody, isRule, isString, isUnnamedVar, isVar, resetHashCodeCache, setSrcInfo
public NPLLiteral(jason.asSyntax.Literal l, DynamicFactsProvider dfp)
protected NPLLiteral(jason.asSyntax.Literal l, DynamicFactsProvider dfp, jason.asSemantics.Unifier u)
public java.util.Iterator<jason.asSemantics.Unifier> logicalConsequence(jason.asSemantics.Agent ag, jason.asSemantics.Unifier un)
logicalConsequence
in interface jason.asSyntax.LogicalFormula
logicalConsequence
in class jason.asSyntax.Literal
public jason.asSyntax.Term capply(jason.asSemantics.Unifier u)
capply
in interface jason.asSyntax.Term
capply
in class jason.asSyntax.LiteralImpl
public jason.asSyntax.Term clone()
clone
in interface jason.asSyntax.Term
clone
in class jason.asSyntax.LiteralImpl