Glossary
Back to: Table of Contents
Abbreviations
- EF
Definitions
- Expression Function
- A function being passed as argument when creating a new BoolExpr using its constructors, and also follows the interface as specified here.
- Boolean Expression
- A BoolExpr instance. They are similar to Expressions but semantically different in that the latter does not neccessary have to be a product of a BoolExpr constructor.
- BoolExpr Table
- Expressions
- The individual operands that together, compose a Boolean Expression. Note that BoolExpr Tables and Boolean Expressions qualifies for this definition too, since they can also be used to form much larger Boolean Expressions themselves.
- Compilation
- The process of reducing compound boolean operations into its simplified form
Previous: Compiling Boolean Expressions
Back to top