public class LdoGraphDiamondModality extends AbstractGraphLdoModality
Constructor and Description |
---|
LdoGraphDiamondModality(LdoFormula innerFormula,
java.util.Set<LdoArgument> lowerReferenceArguments,
java.util.Set<LdoArgument> upperReferenceArguments) |
Modifier and Type | Method and Description |
---|---|
LdoFormula |
clone()
Creates a deep copy of this formula
|
java.lang.String |
toString() |
getAtoms, getLowerReferenceArguments, getPredicates, getUpperReferenceArguments
equals, getInnerFormula, getLiterals, hashCode
combineWithAnd, combineWithOr, complement, getDividers, getPredicateCls, getSignature, getUniformProbability, isLiteral
public LdoGraphDiamondModality(LdoFormula innerFormula, java.util.Set<LdoArgument> lowerReferenceArguments, java.util.Set<LdoArgument> upperReferenceArguments)
public LdoFormula clone()
SimpleLogicalFormula
clone
in interface SimpleLogicalFormula
clone
in class AbstractGraphLdoModality
public java.lang.String toString()
toString
in class java.lang.Object