public class Disjunction extends AssociativeFOLFormula
support
Constructor and Description |
---|
Disjunction()
Creates a new (empty) disjunction.
|
Disjunction(java.util.Collection<? extends RelationalFormula> formulas)
Creates a new disjunction with the given inner formulas.
|
Disjunction(RelationalFormula first,
RelationalFormula second)
Creates a new disjunction with the two given formulae
|
Modifier and Type | Method and Description |
---|---|
Disjunction |
clone()
Creates a deep copy of this formula
|
RelationalFormula |
collapseAssociativeFormulas()
This method collapses all associative operations appearing
in this term, e.g.
|
Disjunction |
createEmptyFormula() |
java.lang.String |
getEmptySymbol() |
java.lang.String |
getOperatorSymbol() |
boolean |
isDnf()
Checks whether this formula is in disjunctive normal form.
|
FolFormula |
toNnf()
Makes the negation normal form of this formula.
|
add, add, addAll, addAll, clear, contains, containsAll, containsQuantifier, createEmptySignature, equals, get, getAtoms, getFormulas, getFormulas, getFunctors, getPredicates, getQuantifierVariables, getTerms, getTerms, getUnboundVariables, hashCode, indexOf, isClosed, isClosed, isEmpty, isLiteral, isWellBound, isWellBound, iterator, lastIndexOf, listIterator, listIterator, remove, remove, removeAll, retainAll, set, size, subList, substitute, substitute, toArray, toArray, toString
combineWithAnd, combineWithOr, complement, getSignature, getUniformProbability, toDnf
allGroundInstances, allSubstitutions, containsTermsOfType, exchange, getFormula, getPredicateCls, getSatisfactionRatio, isGround, isWellFormed
finalize, getClass, notify, notifyAll, wait, wait, wait
getPredicateCls
getSignature
public Disjunction(java.util.Collection<? extends RelationalFormula> formulas)
formulas
- a collection of formulas.public Disjunction()
public Disjunction(RelationalFormula first, RelationalFormula second)
first
- a relational formula.second
- a relational formula.public boolean isDnf()
FolFormula
isDnf
in class FolFormula
public FolFormula toNnf()
FolFormula
toNnf
in class FolFormula
public RelationalFormula collapseAssociativeFormulas()
FolFormula
collapseAssociativeFormulas
in class FolFormula
public Disjunction clone()
SimpleLogicalFormula
clone
in interface ComplexLogicalFormula
clone
in interface SimpleLogicalFormula
clone
in class FolFormula
public Disjunction createEmptyFormula()
public java.lang.String getOperatorSymbol()
public java.lang.String getEmptySymbol()