[−][src]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 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))");
Modules
_impl_boolean_expression | (internal) Implements boolean expression evaluation for |
_impl_parser | (internal) Parsing functions for boolean expressions. |
Enums
BooleanExpression | Recursive type for boolean expression tree. |