Package owl.logic.propositional

Class PropositionalFormula.Biconditional<T>

java.lang.Object

owl.logic.propositional.PropositionalFormula<T>

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

Enclosing class:

PropositionalFormula<T>

public static final class PropositionalFormula.Biconditional<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>	leftOperand
PropositionalFormula<T>	rightOperand

Method Summary

Modifier and Type	Method	Description
boolean	containsVariable(T variable)
protected void	countVariables(Map<T,Integer> occurrences)
boolean	equals(Object o)
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> leftOperand, PropositionalFormula<T> rightOperand)
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)

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, toString, wait, wait, wait

Field Detail

leftOperand

public final PropositionalFormula<T> leftOperand

rightOperand

public final PropositionalFormula<T> rightOperand

Method Detail

of

public static <T> PropositionalFormula<T> of(PropositionalFormula<T> leftOperand,
                                             PropositionalFormula<T> rightOperand)

evaluate

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

Specified by:

evaluate in class PropositionalFormula<T>

substitute

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

Specified by:

substitute in class PropositionalFormula<T>

nnf

protected PropositionalFormula<T> nnf(boolean negated)

Specified by:

nnf in class PropositionalFormula<T>

polarity

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

Specified by:

polarity in class PropositionalFormula<T>

map

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

Specified by:

map in class PropositionalFormula<T>

countVariables

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

Specified by:

countVariables in class PropositionalFormula<T>

height

public int height()

Specified by:

height in class PropositionalFormula<T>

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

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.