CBMC
Public Member Functions | Protected Member Functions | Protected Attributes | List of all members
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: