| Class | Description |
|---|---|
| QBF |
A quantified boolean formula.
|
| QBF.And |
A conjunction.
|
| QBF.Exists |
An existential quantifier.
|
| QBF.False |
The boolean constant
false. |
| QBF.ForAll |
A universal quantifier.
|
| QBF.MultiaryOperator |
Base class for multiary (n-ary) operators.
|
| QBF.Not |
A negation.
|
| QBF.Or |
A disjunction.
|
| QBF.Quantifier |
Base class for quantifier nodes.
|
| QBF.Terminal |
A terminal node in the QBF tree.
|
| QBF.True |
The boolean constant
true. |
| QBF.UnaryOperator |
Base class for unary operators.
|
| QBF.Variable |
A variable.
|
| Enum | Description |
|---|---|
| QBF.Traverse |
Tree traversal order.
|