public class LdoDisjunction extends LdoAssociativeFormula
support
Constructor and Description |
---|
LdoDisjunction()
Creates a new (empty) disjunction.
|
LdoDisjunction(java.util.Collection<? extends LdoFormula> formulas)
Creates a new disjunction with the given inner formulas.
|
LdoDisjunction(LdoFormula first,
LdoFormula second)
Creates a new disjunction with the two given formulae
|
Modifier and Type | Method and Description |
---|---|
LdoFormula |
clone()
Creates a deep copy of this formula
|
LdoDisjunction |
createEmptyFormula() |
java.lang.String |
getEmptySymbol() |
java.lang.String |
getOperatorSymbol() |
add, add, addAll, addAll, clear, contains, containsAll, createEmptySignature, equals, get, getAtoms, getFormulas, getFormulas, getLiterals, getPredicates, getSignature, hashCode, indexOf, isEmpty, iterator, lastIndexOf, listIterator, listIterator, remove, remove, removeAll, retainAll, set, size, subList, toArray, toArray, toString
combineWithAnd, combineWithOr, complement, getDividers, getPredicateCls, getUniformProbability, isLiteral
finalize, getClass, notify, notifyAll, wait, wait, wait
getPredicateCls, isLiteral
public LdoDisjunction(java.util.Collection<? extends LdoFormula> formulas)
formulas
- a collection of formulas.public LdoDisjunction()
public LdoDisjunction(LdoFormula first, LdoFormula second)
first
- a propositional formula.second
- a propositional formula.public LdoFormula clone()
SimpleLogicalFormula
clone
in interface SimpleLogicalFormula
clone
in class LdoFormula
public LdoDisjunction createEmptyFormula()
public java.lang.String getOperatorSymbol()
public java.lang.String getEmptySymbol()