Module libprop_sat_solver::formula

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.