| 类 | 说明 |
|---|---|
| CNFConverter |
This class handles the conversion from a normal expression tree into
the CNF form.
|
| MultiAndExpression |
This helper class is mainly used for handling the CNF conversion.
|
| MultiOrExpression |
This helper class is mainly used for handling the CNF conversion.
|
| MultipleExpression |
This is a helper class that mainly used for handling the CNF conversion.
|