public class LdoRelation extends LdoFormula
Modifier and Type | Field and Description |
---|---|
private LdoFormula |
left |
private LdoFormula |
right |
Constructor and Description |
---|
LdoRelation(LdoFormula left,
LdoFormula right) |
Modifier and Type | Method and Description |
---|---|
LdoFormula |
clone()
Creates a deep copy of this formula
|
boolean |
equals(java.lang.Object obj) |
java.util.Set<LdoArgument> |
getAtoms()
Processes the set of all atoms which appear in this formula
|
LdoFormula |
getLeft() |
java.util.Set<LdoFormula> |
getLiterals()
Returns all literals, i.e.
|
java.util.Set<PropositionalPredicate> |
getPredicates()
Processes the set of all predicates which appear in this
formula
|
LdoFormula |
getRight() |
int |
hashCode() |
java.lang.String |
toString() |
combineWithAnd, combineWithOr, complement, getDividers, getPredicateCls, getSignature, getUniformProbability, isLiteral
private LdoFormula left
private LdoFormula right
public LdoRelation(LdoFormula left, LdoFormula right)
public LdoFormula getLeft()
public LdoFormula getRight()
public java.util.Set<LdoArgument> getAtoms()
SimpleLogicalFormula
getAtoms
in interface SimpleLogicalFormula
getAtoms
in class LdoFormula
public java.util.Set<PropositionalPredicate> getPredicates()
SimpleLogicalFormula
getPredicates
in interface SimpleLogicalFormula
getPredicates
in class LdoFormula
public java.util.Set<LdoFormula> getLiterals()
LdoFormula
getLiterals
in class LdoFormula
public int hashCode()
hashCode
in interface SimpleLogicalFormula
hashCode
in class LdoFormula
public boolean equals(java.lang.Object obj)
equals
in interface SimpleLogicalFormula
equals
in class LdoFormula
public LdoFormula clone()
SimpleLogicalFormula
clone
in interface SimpleLogicalFormula
clone
in class LdoFormula
public java.lang.String toString()
toString
in class java.lang.Object