public abstract class BinaryStructure extends Structure
Literal.FalseLiteral, Literal.TrueLiteral
emptyTermArray, emptyTermList
DefaultNS, LFalse, LNeg, LPos, LTrue, predicateIndicatorCache
hashCodeCache, srcInfo
Constructor and Description |
---|
BinaryStructure(java.lang.String id,
Term arg)
Constructor for unary operator
|
BinaryStructure(Term t1,
java.lang.String id,
Term t2)
Constructor for binary operator
|
Modifier and Type | Method and Description |
---|---|
org.w3c.dom.Element |
getAsDOM(org.w3c.dom.Document document)
get as XML
|
Term |
getLHS()
gets the LHS of this operation
|
Term |
getRHS()
gets the RHS of this operation
|
java.lang.String |
toString() |
addTerm, addTerms, addTerms, calcHashCode, capply, clone, cloneNS, compareTo, countVars, delTerm, equals, getArity, getSingletonVars, getTerm, getTerms, getTermsSize, hasTerm, hasVar, isAtom, isGround, isStructure, isUnary, makeTermsAnnon, makeVarsAnnon, makeVarsAnnon, parse, setTerm, 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
public BinaryStructure(Term t1, java.lang.String id, Term t2)
public BinaryStructure(java.lang.String id, Term arg)