public abstract class AbstractLdoModality extends LdoFormula
Modifier and Type | Field and Description |
---|---|
private LdoFormula |
innerFormula
The inner formula of this modality
|
Constructor and Description |
---|
AbstractLdoModality(LdoFormula innerFormula)
Creates a new modality for the given inner formula
|
Modifier and Type | Method and Description |
---|---|
abstract 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 |
getInnerFormula()
Returns the inner formula of this modality.
|
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
|
int |
hashCode() |
combineWithAnd, combineWithOr, complement, getDividers, getPredicateCls, getSignature, getUniformProbability, isLiteral
private LdoFormula innerFormula
public AbstractLdoModality(LdoFormula innerFormula)
innerFormula
- some ldo formulapublic java.util.Set<LdoArgument> getAtoms()
SimpleLogicalFormula
getAtoms
in interface SimpleLogicalFormula
getAtoms
in class LdoFormula
public LdoFormula getInnerFormula()
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 abstract LdoFormula clone()
SimpleLogicalFormula
clone
in interface SimpleLogicalFormula
clone
in class LdoFormula