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 507 of file miniBDD.cpp.

Constructor & Destructor Documentation

restrictt()

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

inline

Definition at line 510 of file miniBDD.cpp.

Member Function Documentation

operator()()

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

inline

Definition at line 515 of file miniBDD.cpp.

RES()

mini_bddt restrictt::RES ( const mini_bddt &  u )

protected

Definition at line 524 of file miniBDD.cpp.

References mini_bddt::high(), mini_bddt::is_initialized(), mini_bddt::low(), mini_bdd_nodet::mgr, mini_bddt::node, and mini_bddt::var().

Member Data Documentation

value

const bool restrictt::value

protected

Definition at line 519 of file miniBDD.cpp.

var

const unsigned restrictt::var

protected

Definition at line 518 of file miniBDD.cpp.

---

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

• solvers/miniBDD/miniBDD.cpp