CBMC
Loading...
Searching...
No Matches
Public Member Functions | Protected Types | Protected Member Functions | Protected Attributes | List of all members
mini_bdd_applyt Class Reference
+ Collaboration diagram for mini_bdd_applyt:
[フレーム]
[legend]

Public Member Functions

  mini_bdd_applyt (bool(*_fkt)(bool, bool))
 
mini_bddt  operator() (const mini_bddt &x, const mini_bddt &y)
 

Protected Types

typedef std::map< std::pair< unsigned, unsigned >, mini_bddt >  Gt
 

Protected Member Functions

mini_bddt  APP_rec (const mini_bddt &x, const mini_bddt &y)
 
mini_bddt  APP_non_rec (const mini_bddt &x, const mini_bddt &y)
 

Protected Attributes

bool(*  fkt )(bool, bool)
 
Gt  G
 

Detailed Description

Definition at line 184 of file miniBDD.cpp.

Member Typedef Documentation

◆  Gt

typedef std::map<std::pair<unsigned, unsigned>, mini_bddt> mini_bdd_applyt::Gt
protected

Definition at line 201 of file miniBDD.cpp.

Constructor & Destructor Documentation

◆  mini_bdd_applyt()

mini_bdd_applyt::mini_bdd_applyt ( bool(*)(bool, bool)  _fkt )
inlineexplicit

Definition at line 187 of file miniBDD.cpp.

Member Function Documentation

◆  APP_non_rec()

mini_bddt mini_bdd_applyt::APP_non_rec ( const mini_bddt &  x,
const mini_bddt &  y 
)
protected

Definition at line 239 of file miniBDD.cpp.

◆  APP_rec()

mini_bddt mini_bdd_applyt::APP_rec ( const mini_bddt &  x,
const mini_bddt &  y 
)
protected

Definition at line 205 of file miniBDD.cpp.

◆  operator()()

mini_bddt mini_bdd_applyt::operator() ( const mini_bddt &  x,
const mini_bddt &  y 
)
inline

Definition at line 191 of file miniBDD.cpp.

Member Data Documentation

◆  fkt

bool(* mini_bdd_applyt::fkt) (bool, bool)
protected

Definition at line 197 of file miniBDD.cpp.

◆  G

Gt mini_bdd_applyt::G
protected

Definition at line 202 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 によって変換されたページ (->オリジナル) /