Loading...

Searching...

No Matches

bdd_expr.cpp File Reference

Conversion between exprt and miniBDD. More...

#include "bdd_expr.h"
#include <util/expr_util.h>
#include <util/invariant.h>
#include <util/narrow.h>
#include <util/std_expr.h>

+ Include dependency graph for bdd_expr.cpp:

Functions

Disjunction of two expressions.

Detailed Description

Conversion between exprt and miniBDD.

Definition in file bdd_expr.cpp.

static exprt make_or ( exprt a,

exprt b

)

static

Disjunction of two expressions.

If the second is already an or_exprt add to its operands instead of creating a new expression.

Definition at line 94 of file bdd_expr.cpp.