restrictt Class Reference

Collaboration diagram for restrictt:

Public Member Functions
	restrictt (const unsigned _var, const bool _value)
mini_bddt	operator() (const mini_bddt &u)

Protected Types
typedef std::map< unsigned, mini_bddt >	Gt

Protected Member Functions
mini_bddt	RES (const mini_bddt &u)

Protected Attributes
const unsigned	var
const bool	value
Gt	G

Detailed Description

Definition at line 510 of file miniBDD.cpp.

Member Typedef Documentation

Gt

typedef std::map<unsigned, mini_bddt> restrictt::Gt

protected

Definition at line 538 of file miniBDD.cpp.

Constructor & Destructor Documentation

restrictt()

restrictt::restrictt ( const unsigned _var, const bool _value )

inline

Definition at line 513 of file miniBDD.cpp.

Member Function Documentation

operator()()

mini_bddt restrictt::operator() ( const mini_bddt & u )

inline

Definition at line 518 of file miniBDD.cpp.

RES()

mini_bddt restrictt::RES ( const mini_bddt & u )

protected

Definition at line 542 of file miniBDD.cpp.

Member Data Documentation

G

Gt restrictt::G

protected

Definition at line 539 of file miniBDD.cpp.

value

const bool restrictt::value

protected

Definition at line 525 of file miniBDD.cpp.

var

const unsigned restrictt::var

protected

Definition at line 524 of file miniBDD.cpp.

---

The documentation for this class was generated from the following file:

• /home/runner/work/cbmc/cbmc/src/solvers/bdd/miniBDD/miniBDD.cpp