CBMC
Loading...
Searching...
No Matches
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:
  • /home/runner/work/cbmc/cbmc/src/solvers/bdd/miniBDD/miniBDD.cpp

AltStyle によって変換されたページ (->オリジナル) /