restrictt Class Reference

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

Protected Member Functions
mini_bddt	RES (const mini_bddt &u)

Protected Attributes
const unsigned	var
const bool	value

Detailed Description

Definition at line 510 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 530 of file miniBDD.cpp.

Member Data Documentation

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-documentation/cbmc-documentation/src/solvers/bdd/miniBDD/miniBDD.cpp