Loading...

Searching...

No Matches

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.