Module biodivine_lib_bdd::boolean_expression
source · Expand description
Boolean expressions are simple structures that represent boolean formulas explicitly.
They can be parsed from a string representation (using TryFrom
) and used to create
complex Bdd
s:
use biodivine_lib_bdd::*;
let vars = BddVariableSet::new_anonymous(4);
let f: Bdd = vars.eval_expression_string("x_0 & !x_1 => (x_1 ^ x_3 <=> (x_0 | x_1))");
Enums§
- Recursive type for boolean expression tree.