public abstract class AbstractGraphLdoModality extends AbstractLdoModality
Modifier and Type | Field and Description |
---|---|
private java.util.Set<LdoArgument> |
lowerReferenceArguments |
private java.util.Set<LdoArgument> |
upperReferenceArguments |
Constructor and Description |
---|
AbstractGraphLdoModality(LdoFormula innerFormula,
java.util.Set<LdoArgument> lowerReferenceArguments,
java.util.Set<LdoArgument> upperReferenceArguments) |
Modifier and Type | Method and Description |
---|---|
abstract LdoFormula |
clone()
Creates a deep copy of this formula
|
java.util.Set<LdoArgument> |
getAtoms()
Processes the set of all atoms which appear in this formula
|
java.util.Set<LdoArgument> |
getLowerReferenceArguments()
Returns the lower reference arguments of this modality.
|
java.util.Set<PropositionalPredicate> |
getPredicates()
Processes the set of all predicates which appear in this
formula
|
java.util.Set<LdoArgument> |
getUpperReferenceArguments()
Returns the upper reference arguments of this modality.
|
equals, getInnerFormula, getLiterals, hashCode
combineWithAnd, combineWithOr, complement, getDividers, getPredicateCls, getSignature, getUniformProbability, isLiteral
private java.util.Set<LdoArgument> upperReferenceArguments
private java.util.Set<LdoArgument> lowerReferenceArguments
public AbstractGraphLdoModality(LdoFormula innerFormula, java.util.Set<LdoArgument> lowerReferenceArguments, java.util.Set<LdoArgument> upperReferenceArguments)
public java.util.Set<LdoArgument> getLowerReferenceArguments()
public java.util.Set<LdoArgument> getUpperReferenceArguments()
public java.util.Set<LdoArgument> getAtoms()
SimpleLogicalFormula
getAtoms
in interface SimpleLogicalFormula
getAtoms
in class AbstractLdoModality
public java.util.Set<PropositionalPredicate> getPredicates()
SimpleLogicalFormula
getPredicates
in interface SimpleLogicalFormula
getPredicates
in class AbstractLdoModality
public abstract LdoFormula clone()
SimpleLogicalFormula
clone
in interface SimpleLogicalFormula
clone
in class AbstractLdoModality