public abstract class BinaryStructure extends Structure
emptyTermArray, emptyTermList
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, compareTo, countVars, delTerm, equals, getArity, getSingletonVars, getTerm, getTerms, getTermsSize, hasTerm, hasVar, isAtom, isGround, isStructure, isUnary, makeTermsAnnon, makeVarsAnnon, makeVarsAnnon, parse, setTerm, setTerms, subsumes, 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, 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)