CBMC
Loading...
Searching...
No Matches
Public Member Functions | Protected Member Functions | Protected Attributes | List of all members
restrictt Class Reference

Public Member Functions

 
 

Protected Member Functions

 

Protected Attributes

 
 

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_bddtu )
inline

Definition at line 518 of file miniBDD.cpp.

◆  RES()

mini_bddt restrictt::RES ( const mini_bddtu )
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 によって変換されたページ (->オリジナル) /