Package owl.logic.propositional

Class PropositionalFormula.Negation<T>

java.lang.Object

owl.logic.propositional.PropositionalFormula<T>

owl.logic.propositional.PropositionalFormula.Negation<T>

Enclosing class:

PropositionalFormula<T>

public static final class PropositionalFormula.Negation<T>
extends PropositionalFormula<T>

Nested Class Summary

Nested classes/interfaces inherited from class owl.logic.propositional.PropositionalFormula

PropositionalFormula.Biconditional<T>, PropositionalFormula.Conjunction<T>, PropositionalFormula.Disjunction<T>, PropositionalFormula.Negation<T>, PropositionalFormula.Polarity, PropositionalFormula.Variable<T>

Field Summary

Fields

Modifier and Type	Field	Description
PropositionalFormula<T>	operand

Constructor Summary

Constructors

Constructor	Description
Negation(PropositionalFormula<T> operand)

Method Summary

Modifier and Type	Method	Description
boolean	containsVariable(T variable)
protected void	countVariables(Map<T,Integer> occurrences)
boolean	equals(Object obj)
boolean	evaluate(Set<? extends T> assignment)
int	hashCode()
int	height()
<R> PropositionalFormula<R>	map(Function<? super T,R> mapper)
protected PropositionalFormula<T>	nnf(boolean negated)
static <T> PropositionalFormula<T>	of(PropositionalFormula<T> operand)
Map<T,PropositionalFormula.Polarity>	polarity()
Optional<T>	smallestVariable()	Returns the smallest variable using the naturalOrder.
<S> PropositionalFormula<S>	substitute(Function<? super T,? extends PropositionalFormula<S>> substitution)
String	toString()

Methods inherited from class owl.logic.propositional.PropositionalFormula

conjuncts, conjuncts, constant, countVariables, deduplicate, disjuncts, disjuncts, falseConstant, isFalse, isTrue, nnf, trueConstant, variables

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

operand

public final PropositionalFormula<T> operand

Constructor Detail

Negation

public Negation(PropositionalFormula<T> operand)

Method Detail

of

public static <T> PropositionalFormula<T> of(PropositionalFormula<T> operand)

nnf

protected PropositionalFormula<T> nnf(boolean negated)

Specified by:

nnf in class PropositionalFormula<T>

evaluate

public boolean evaluate(Set<? extends T> assignment)

Specified by:

evaluate in class PropositionalFormula<T>

polarity

public Map<T,PropositionalFormula.Polarity> polarity()

Specified by:

polarity in class PropositionalFormula<T>

countVariables

protected void countVariables(Map<T,Integer> occurrences)

Specified by:

countVariables in class PropositionalFormula<T>

map

public <R> PropositionalFormula<R> map(Function<? super T,R> mapper)

Specified by:

map in class PropositionalFormula<T>

height

public int height()

Specified by:

height in class PropositionalFormula<T>

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object

substitute

public <S> PropositionalFormula<S> substitute(Function<? super T,? extends PropositionalFormula<S>> substitution)

Specified by:

substitute in class PropositionalFormula<T>

containsVariable

public boolean containsVariable(T variable)

Specified by:

containsVariable in class PropositionalFormula<T>

smallestVariable

public Optional<T> smallestVariable()

Description copied from class: PropositionalFormula

Returns the smallest variable using the naturalOrder.

Specified by:

smallestVariable in class PropositionalFormula<T>

Returns:

the smallest variable.