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))");

Modules

_impl_boolean_expression

(internal) Implements boolean expression evaluation for BddVariableSet and some utility methods.

_impl_parser

(internal) Parsing functions for boolean expressions.

Enums

BooleanExpression

Recursive type for boolean expression tree.