public class Negation extends PropositionalFormula
Modifier and Type | Field and Description |
---|---|
private PropositionalFormula |
formula
The formula within this negation.
|
Constructor and Description |
---|
Negation(PropositionalFormula formula)
Creates a new negation with the given formula.
|
Modifier and Type | Method and Description |
---|---|
PropositionalFormula |
clone()
Creates a deep copy of this formula
|
PropositionalFormula |
collapseAssociativeFormulas()
This method collapses all associative operations appearing
in this term, e.g.
|
boolean |
equals(java.lang.Object obj) |
java.util.Set<Proposition> |
getAtoms()
Processes the set of all atoms which appear in this formula
|
PropositionalFormula |
getFormula()
Returns the formula within this negation.
|
java.util.Set<PropositionalFormula> |
getLiterals()
Returns all literals, i.e.
|
java.util.Set<PossibleWorld> |
getModels(PropositionalSignature sig)
Returns the set of models of this formula wrt.
|
java.util.Set<PropositionalPredicate> |
getPredicates()
Processes the set of all predicates which appear in this
formula
|
PropositionalSignature |
getSignature()
Returns the signature of the language of this formula.
|
int |
hashCode() |
boolean |
hasLowerBindingPriority(PropositionalFormula other) |
boolean |
isLiteral() |
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).
|
java.lang.String |
toString() |
PropositionalFormula |
trim()
Removes duplicates (identical formulas) from conjunctions and disjunctions and
duplicate negations.
|
combineWithAnd, combineWithOr, complement, getModels, getPredicateCls, getPrimeImplicants, getUniformProbability, isConjunctiveClause, resolvableWith, resolveWith, toBlakeCanonicalForm, toDnf
private PropositionalFormula formula
public Negation(PropositionalFormula formula)
formula
- the formula within the negation.public PropositionalFormula getFormula()
public PropositionalFormula collapseAssociativeFormulas()
PropositionalFormula
collapseAssociativeFormulas
in class PropositionalFormula
public boolean hasLowerBindingPriority(PropositionalFormula other)
public java.lang.String toString()
toString
in class java.lang.Object
public PropositionalFormula toNnf()
PropositionalFormula
toNnf
in class PropositionalFormula
public PropositionalFormula trim()
PropositionalFormula
trim
in class PropositionalFormula
public int hashCode()
hashCode
in interface SimpleLogicalFormula
hashCode
in class PropositionalFormula
public boolean equals(java.lang.Object obj)
equals
in interface SimpleLogicalFormula
equals
in class PropositionalFormula
public java.util.Set<PropositionalPredicate> getPredicates()
SimpleLogicalFormula
getPredicates
in interface SimpleLogicalFormula
getPredicates
in class PropositionalFormula
public PropositionalFormula clone()
SimpleLogicalFormula
clone
in interface SimpleLogicalFormula
clone
in class PropositionalFormula
public java.util.Set<Proposition> getAtoms()
SimpleLogicalFormula
getAtoms
in interface SimpleLogicalFormula
getAtoms
in class PropositionalFormula
public boolean isLiteral()
isLiteral
in interface SimpleLogicalFormula
isLiteral
in class PropositionalFormula
public java.util.Set<PropositionalFormula> getLiterals()
PropositionalFormula
getLiterals
in class PropositionalFormula
public PropositionalSignature getSignature()
Formula
getSignature
in interface Formula
getSignature
in class PropositionalFormula
public Conjunction toCnf()
PropositionalFormula
toCnf
in class PropositionalFormula
public java.util.Set<PossibleWorld> getModels(PropositionalSignature sig)
PropositionalFormula
getModels
in class PropositionalFormula
sig
- some propositional signaturepublic 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 proposition