ConjunctiveNormalForm (owl 21.0 API)

java.lang.Object
- owl.logic.propositional.ConjunctiveNormalForm<V>

public class ConjunctiveNormalForm<V>
extends Object

Field Summary

Fields
Modifier and Type	Field	Description
`com.google.common.primitives.ImmutableIntArray`	`clauses`	Clause-representation of the formula.
`int`	`tsetinVariablesLowerBound`
`int`	`tsetinVariablesUpperBound`
`com.google.common.collect.ImmutableBiMap<V,Integer>`	`variableMapping`

Constructor Summary

Constructors
Constructor Description

ConjunctiveNormalForm(PropositionalFormula<V> formula)
Construct an equisatisfiable CNF-representation of the given formula.

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`boolean`	`equals(Object o)`
`boolean`	`evaluate(BitSet assignment)`
`int`	`hashCode()`
`String`	`toString()`

Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait

- Field Detail
  - clauses
```
public final com.google.common.primitives.ImmutableIntArray clauses
```
    Clause-representation of the formula. Variables are from the range [1,n], where n is bounded by -Integer.MIN_VALUE. Positive literals are encoded as [1,n] and negated literals as [-1,-n]. 0 is used as a separator between clauses. Example: -1 -2 0 1 2 0 2 3 0 ...
  - variableMapping
```
public final com.google.common.collect.ImmutableBiMap<V,Integer> variableMapping
```
  - tsetinVariablesLowerBound
```
public final int tsetinVariablesLowerBound
```
  - tsetinVariablesUpperBound
```
public final int tsetinVariablesUpperBound
```
- Constructor Detail
  - ConjunctiveNormalForm
```
public ConjunctiveNormalForm(PropositionalFormula<V> formula)
```
    Construct an equisatisfiable CNF-representation of the given formula.
    
    Parameters:
    
    formula - the formula.
- Method Detail
  - evaluate
```
public boolean evaluate(BitSet assignment)
```
  - equals
```
public boolean equals(Object o)
```
    Overrides:
    
    equals in class Object
  - hashCode
```
public int hashCode()
```
    Overrides:
    
    hashCode in class Object
  - toString
```
public String toString()
```
    Overrides:
    
    toString in class Object