public class Aggregate extends DLPElementAdapter implements DLPElement
Modifier and Type | Field and Description |
---|---|
protected java.lang.String |
functor |
protected Term<?> |
leftGuard |
protected java.lang.String |
leftOp |
protected Term<?> |
rightGuard |
protected java.lang.String |
rightOp |
protected SymbolicSet |
symSet |
Constructor and Description |
---|
Aggregate(Aggregate other) |
Aggregate(java.lang.String functor,
SymbolicSet symSet) |
Aggregate(java.lang.String functor,
SymbolicSet ss,
java.lang.String rightOp,
Term<?> rightGuard) |
Aggregate(Term<?> leftGuard,
java.lang.String leftOp,
java.lang.String functor,
SymbolicSet ss) |
Aggregate(Term<?> leftGuard,
java.lang.String leftOp,
java.lang.String functor,
SymbolicSet ss,
java.lang.String rightOp,
Term<?> rightGuard) |
Modifier and Type | Method and Description |
---|---|
Aggregate |
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
|
java.lang.String |
getFunctor() |
Term<?> |
getLeftGuard() |
java.lang.String |
getLeftOperator() |
java.util.SortedSet<DLPLiteral> |
getLiterals() |
java.util.Set<DLPPredicate> |
getPredicates()
Processes the set of all predicates which appear in this
formula
|
Term<?> |
getRightGuard() |
java.lang.String |
getRightOperator() |
FolSignature |
getSignature()
Returns the signature of the language of this formula.
|
SymbolicSet |
getSymbolicSet() |
java.util.Set<Term<?>> |
getTerms() |
int |
hashCode() |
boolean |
hasLeftGuard() |
boolean |
hasRightGuard() |
boolean |
isGround()
Checks whether this formula is ground, i.e.
|
void |
setLeftGuard(Term<?> guard,
java.lang.String rel) |
void |
setRightGuard(Term<?> guard,
java.lang.String rel) |
Aggregate |
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
protected SymbolicSet symSet
protected Term<?> leftGuard
protected Term<?> rightGuard
protected java.lang.String leftOp
protected java.lang.String rightOp
protected java.lang.String functor
public Aggregate(Term<?> leftGuard, java.lang.String leftOp, java.lang.String functor, SymbolicSet ss)
public Aggregate(java.lang.String functor, SymbolicSet ss, java.lang.String rightOp, Term<?> rightGuard)
public Aggregate(Term<?> leftGuard, java.lang.String leftOp, java.lang.String functor, SymbolicSet ss, java.lang.String rightOp, Term<?> rightGuard)
public Aggregate(java.lang.String functor, SymbolicSet symSet)
public Aggregate(Aggregate other)
public boolean hasLeftGuard()
public boolean hasRightGuard()
public Term<?> getLeftGuard()
public java.lang.String getLeftOperator()
public Term<?> getRightGuard()
public java.lang.String getRightOperator()
public void setLeftGuard(Term<?> guard, java.lang.String rel)
public void setRightGuard(Term<?> guard, java.lang.String rel)
public java.lang.String getFunctor()
public SymbolicSet getSymbolicSet()
public java.lang.String toString()
toString
in class java.lang.Object
public java.util.SortedSet<DLPLiteral> getLiterals()
getLiterals
in interface DLPElement
public boolean isGround()
ComplexLogicalFormula
isGround
in interface ComplexLogicalFormula
isGround
in class ComplexLogicalFormulaAdapter
public Aggregate 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<Term<?>> getTerms()
getTerms
in interface LogicStructure
public java.util.Set<DLPAtom> getAtoms()
SimpleLogicalFormula
getAtoms
in interface SimpleLogicalFormula
getAtoms
in interface DLPElement
public Aggregate 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