public class Arithmetic extends DLPElementAdapter implements DLPElement
Modifier and Type | Field and Description |
---|---|
private Term<?> |
left
the term X on the left of an arithmetic expression: Z=X+Y or the first
argument of an build-in function #func(X,Y,Z)
|
private java.lang.String |
operator
the operator or the id of the build-in function
|
private Term<?> |
result
the term Z giving the result of the arithmetic expression: Z=X+Y or the third
argument of an build-in function #func(X,Y,Z)
|
private Term<?> |
right
the term Y on the right of the arithmetic expression: Z=X+Y or the second
argument of an build-in function #func(X,Y,Z)
|
Constructor and Description |
---|
Arithmetic(Arithmetic other)
Copy-Ctor
|
Arithmetic(java.lang.String op,
Term<?> left,
Term<?> right,
Term<?> result) |
Modifier and Type | Method and Description |
---|---|
Arithmetic |
clone()
Creates a deep copy of this formula
|
boolean |
equals(java.lang.Object other) |
java.util.Set<DLPAtom> |
getAtoms()
Processes the set of all atoms which appear in this formula
|
Term<?> |
getLeftArgument() |
java.util.SortedSet<DLPLiteral> |
getLiterals() |
java.lang.String |
getOperator() |
java.util.Set<DLPPredicate> |
getPredicates()
Processes the set of all predicates which appear in this
formula
|
Term<?> |
getResult() |
Term<?> |
getRightArgument() |
FolSignature |
getSignature()
Returns the signature of the language of this formula.
|
java.util.Set<Term<?>> |
getTerms() |
int |
hashCode() |
boolean |
isGround()
Checks whether this formula is ground, i.e.
|
Arithmetic |
substitute(Term<?> t,
Term<?> v)
Substitutes all occurrences of term "v" in this formula
by term "t" and returns the new formula.
|
java.lang.String |
toString() |
getPredicateCls
containsTermsOfType, exchange, getTerms, isLiteral, isWellFormed, substitute
finalize, getClass, notify, notifyAll, wait, wait, wait
exchange, isWellFormed, substitute
getPredicateCls, isLiteral
containsTermsOfType, getTerms
private java.lang.String operator
private Term<?> left
private Term<?> right
private Term<?> result
public Arithmetic(Arithmetic other)
other
- public Term<?> getResult()
public Term<?> getLeftArgument()
public Term<?> getRightArgument()
public java.lang.String getOperator()
public java.lang.String toString()
toString
in class java.lang.Object
public java.util.SortedSet<DLPLiteral> getLiterals()
getLiterals
in interface DLPElement
public java.util.Set<Term<?>> getTerms()
getTerms
in interface LogicStructure
public boolean isGround()
ComplexLogicalFormula
isGround
in interface ComplexLogicalFormula
isGround
in class ComplexLogicalFormulaAdapter
public Arithmetic clone()
SimpleLogicalFormula
clone
in interface ComplexLogicalFormula
clone
in interface SimpleLogicalFormula
clone
in interface DLPElement
clone
in class DLPElementAdapter
public java.util.Set<DLPPredicate> getPredicates()
SimpleLogicalFormula
getPredicates
in interface SimpleLogicalFormula
getPredicates
in interface DLPElement
public java.util.Set<DLPAtom> getAtoms()
SimpleLogicalFormula
getAtoms
in interface SimpleLogicalFormula
getAtoms
in interface DLPElement
public Arithmetic substitute(Term<?> t, Term<?> v)
ComplexLogicalFormula
substitute
in interface ComplexLogicalFormula
substitute
in interface DLPElement
t
- the term to be substituted.v
- the term to substitute.public FolSignature getSignature()
Formula
getSignature
in interface Formula
getSignature
in interface DLPElement
public int hashCode()
hashCode
in interface SimpleLogicalFormula
hashCode
in class java.lang.Object
public boolean equals(java.lang.Object other)
equals
in interface SimpleLogicalFormula
equals
in class java.lang.Object