Crate simple_predicates[−][src]
Expand description
Simple Boolean Predicates
Structs
| Cnf | A boolean expression in Conjunctive Normal Form. |
| Dnf | A boolean expression in Disjunctive Normal Form. |
Enums
| Expr | A boolean expression consisting of boolean operators and literals. |
Traits
| Eval | Provides functions for performing boolean expression evaluation in the
context of some provided |