Package owl.logic.propositional

Class PropositionalFormula.Conjunction<T>

java.lang.Object

owl.logic.propositional.PropositionalFormula<T>

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

Enclosing class:

PropositionalFormula<T>

public static final class PropositionalFormula.Conjunction<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
List<PropositionalFormula<T>>	conjuncts

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(List<? extends PropositionalFormula<T>> conjuncts)
static <T> PropositionalFormula<T>	of(PropositionalFormula<T>... operands)
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

conjuncts

public final List<PropositionalFormula<T>> conjuncts

Method Detail

of

@SafeVarargs
public static <T> PropositionalFormula<T> of(PropositionalFormula<T>... operands)

of

public static <T> PropositionalFormula<T> of(List<? extends PropositionalFormula<T>> conjuncts)

evaluate

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

Specified by:

evaluate 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>

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.