bdd_expr.cpp File Reference

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

Go to the source code of this file.

Functions
static exprt	make_or (exprt a, exprt b)
	Disjunction of two expressions. More...

Detailed Description

Conversion between exprt and miniBDD

Definition in file bdd_expr.cpp.

Function Documentation

make_or()

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 95 of file bdd_expr.cpp.