Represents a propositional formula.
Represents a propositional formula.
The constructor is private, as a formula should always be created from helper functions in FormulaBuilder.
Represents a propositional variable.
Represents a propositional variable.
The constructor is private to the package, you can get an instance of PropVar by using FormulaBuilder.propVar.
Represents the always false formula.
Represents the always true formula.
Contains type definitions for formulas.
If you wish to instantiate a Formula or a PropVar, you need to use FormulaBuilder that will provide a generator function to create PropVar, and then build your formula from combinator methods in Formula.
Here is a simple example that shows how to build a formula: