| Class | Description |
|---|---|
| Clause |
A clause with restrictions derived for the variables
|
| ClauseBase |
Dnf, Clauses, and Exprs should be treated as immutable!
|
| Cnf | |
| Dnf | |
| ExprNormalForm | |
| NestedNormalForm | |
| NestedSet<T> |
IMPORTANT: If you are working with a child set, then do not modify the parent,
or things might go out of sync.
|
Copyright © 2015. All rights reserved.