Package owl.logic.propositional
Class PropositionalFormula.Variable<T>
- java.lang.Object
-
- owl.logic.propositional.PropositionalFormula<T>
-
- owl.logic.propositional.PropositionalFormula.Variable<T>
-
- Enclosing class:
- PropositionalFormula<T>
public static final class PropositionalFormula.Variable<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>
-
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description booleancontainsVariable(T variable)protected voidcountVariables(Map<T,Integer> occurrences)booleanequals(Object obj)booleanevaluate(Set<? extends T> assignment)inthashCode()intheight()<R> PropositionalFormula<R>map(Function<? super T,R> mapper)protected PropositionalFormula<T>nnf(boolean negated)static <T> PropositionalFormula.Variable<T>of(T variable)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)StringtoString()-
Methods inherited from class owl.logic.propositional.PropositionalFormula
conjuncts, conjuncts, constant, countVariables, deduplicate, disjuncts, disjuncts, falseConstant, isFalse, isTrue, nnf, trueConstant, variables
-
-
-
-
Field Detail
-
variable
public final T variable
-
-
Constructor Detail
-
Variable
public Variable(T variable)
-
-
Method Detail
-
of
public static <T> PropositionalFormula.Variable<T> of(T variable)
-
polarity
public Map<T,PropositionalFormula.Polarity> polarity()
- Specified by:
polarityin classPropositionalFormula<T>
-
countVariables
protected void countVariables(Map<T,Integer> occurrences)
- Specified by:
countVariablesin classPropositionalFormula<T>
-
map
public <R> PropositionalFormula<R> map(Function<? super T,R> mapper)
- Specified by:
mapin classPropositionalFormula<T>
-
height
public int height()
- Specified by:
heightin classPropositionalFormula<T>
-
substitute
public <S> PropositionalFormula<S> substitute(Function<? super T,? extends PropositionalFormula<S>> substitution)
- Specified by:
substitutein classPropositionalFormula<T>
-
nnf
protected PropositionalFormula<T> nnf(boolean negated)
- Specified by:
nnfin classPropositionalFormula<T>
-
evaluate
public boolean evaluate(Set<? extends T> assignment)
- Specified by:
evaluatein classPropositionalFormula<T>
-
containsVariable
public boolean containsVariable(T variable)
- Specified by:
containsVariablein classPropositionalFormula<T>
-
smallestVariable
public Optional<T> smallestVariable()
Description copied from class:PropositionalFormulaReturns the smallest variable using the naturalOrder.- Specified by:
smallestVariablein classPropositionalFormula<T>- Returns:
- the smallest variable.
-
-