CBMC
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:

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: