public class LdoBoxModality extends AbstractLdoModality
Constructor and Description |
---|
LdoBoxModality(LdoFormula innerFormula) |
Modifier and Type | Method and Description |
---|---|
LdoFormula |
clone()
Creates a deep copy of this formula
|
java.lang.String |
toString() |
equals, getAtoms, getInnerFormula, getLiterals, getPredicates, hashCode
combineWithAnd, combineWithOr, complement, getDividers, getPredicateCls, getSignature, getUniformProbability, isLiteral
public LdoBoxModality(LdoFormula innerFormula)
public LdoFormula clone()
SimpleLogicalFormula
clone
in interface SimpleLogicalFormula
clone
in class AbstractLdoModality
public java.lang.String toString()
toString
in class java.lang.Object