cprover
|
Implementation of guards using BDDs. More...
#include "guard_bdd.h"
#include <algorithm>
#include <ostream>
#include <set>
#include <solvers/bdd/bdd.h>
#include <solvers/prop/bdd_expr.h>
#include <util/expr_util.h>
#include <util/invariant.h>
#include <util/make_unique.h>
#include <util/namespace.h>
#include <util/simplify_utils.h>
#include <util/std_expr.h>
#include <util/symbol_table.h>
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) |
Implementation of guards using BDDs.
Definition in file guard_bdd.cpp.
guard_bddt& operator-= | ( | guard_bddt & | g1, |
const guard_bddt & | g2 | ||
) |
Definition at line 79 of file guard_bdd.cpp.
guard_bddt& operator|= | ( | guard_bddt & | g1, |
const guard_bddt & | g2 | ||
) |
Definition at line 85 of file guard_bdd.cpp.