public abstract class SpecialFormula extends PropositionalFormula
Constructor and Description |
---|
SpecialFormula() |
Modifier and Type | Method and Description |
---|---|
PropositionalFormula |
collapseAssociativeFormulas()
This method collapses all associative operations appearing
in this term, e.g.
|
java.util.Set<Proposition> |
getAtoms()
Processes the set of all atoms which appear in this formula
|
java.util.Set<PropositionalFormula> |
getLiterals()
Returns all literals, i.e.
|
java.util.Set<PropositionalPredicate> |
getPredicates()
Processes the set of all predicates which appear in this
formula
|
int |
numberOfOccurrences(Proposition p)
Returns the number of occurrences of the given proposition
within this formula
|
PropositionalFormula |
replace(Proposition p,
PropositionalFormula f,
int i)
Replaces the ith instance of the proposition p by f.
|
Conjunction |
toCnf()
This method returns this formula in conjunctive normal form (CNF).
|
PropositionalFormula |
toNnf()
This method returns this formula in negation normal form (NNF).
|
PropositionalFormula |
trim()
Removes duplicates (identical formulas) from conjunctions and disjunctions and
duplicate negations.
|
clone, combineWithAnd, combineWithOr, complement, equals, getModels, getModels, getPredicateCls, getPrimeImplicants, getSignature, getUniformProbability, hashCode, isConjunctiveClause, isLiteral, resolvableWith, resolveWith, toBlakeCanonicalForm, toDnf
public PropositionalFormula collapseAssociativeFormulas()
PropositionalFormula
collapseAssociativeFormulas
in class PropositionalFormula
public java.util.Set<PropositionalPredicate> getPredicates()
SimpleLogicalFormula
getPredicates
in interface SimpleLogicalFormula
getPredicates
in class PropositionalFormula
public PropositionalFormula toNnf()
PropositionalFormula
toNnf
in class PropositionalFormula
public java.util.Set<Proposition> getAtoms()
SimpleLogicalFormula
getAtoms
in interface SimpleLogicalFormula
getAtoms
in class PropositionalFormula
public java.util.Set<PropositionalFormula> getLiterals()
PropositionalFormula
getLiterals
in class PropositionalFormula
public Conjunction toCnf()
PropositionalFormula
toCnf
in class PropositionalFormula
public int numberOfOccurrences(Proposition p)
PropositionalFormula
numberOfOccurrences
in class PropositionalFormula
p
- some propositionpublic PropositionalFormula replace(Proposition p, PropositionalFormula f, int i)
PropositionalFormula
replace
in class PropositionalFormula
p
- some propositionf
- some formulai
- the index of the propositionpublic PropositionalFormula trim()
PropositionalFormula
trim
in class PropositionalFormula