Module biodivine_lib_bdd::boolean_expression

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 Bdds:

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

BooleanExpression

Recursive type for boolean expression tree.