guard_bdd.cpp File Reference

Implementation of guards using BDDs. More...

#include "guard_bdd.h"
#include <solvers/prop/bdd_expr.h>
#include <util/expr_util.h>
#include <util/invariant.h>
#include <util/std_expr.h>

Include dependency graph for guard_bdd.cpp:

Go to the source code of this file.

Functions
guard_bddt &	operator-= (guard_bddt &g1, const guard_bddt &g2)
guard_bddt &	operator|= (guard_bddt &g1, const guard_bddt &g2)

Detailed Description

Implementation of guards using BDDs.

Definition in file guard_bdd.cpp.

Function Documentation

operator-=()

guard_bddt & operator-=	(	guard_bddt &	g1,
		const guard_bddt &	g2
	)

Definition at line 70 of file guard_bdd.cpp.

operator|=()

guard_bddt & operator|=	(	guard_bddt &	g1,
		const guard_bddt &	g2
	)

Definition at line 76 of file guard_bdd.cpp.