Expand description
Abstract syntax tree representation of a well-formed propositional formula.
Re-exports§
pub use operators::BinaryOperator;pub use operators::Operator;pub use operators::UnaryOperator;pub use propositional_formula::PropositionalFormula;pub use variable::Variable;
Modules§
- operators
- Unary and binary operators for propositional formulas.
- propositional_
formula - A propositional formula.
- variable
- Propositional variable.