cprover
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_bddtGt
 

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 189 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 206 of file miniBDD.cpp.

Constructor & Destructor Documentation

◆ mini_bdd_applyt()

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

Definition at line 192 of file miniBDD.cpp.

Member Function Documentation

◆ APP_non_rec()

◆ APP_rec()

◆ operator()()

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

Definition at line 196 of file miniBDD.cpp.

References APP_non_rec().

Member Data Documentation

◆ fkt

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

Definition at line 202 of file miniBDD.cpp.

Referenced by APP_non_rec(), and APP_rec().

◆ G

Gt mini_bdd_applyt::G
protected

Definition at line 207 of file miniBDD.cpp.

Referenced by APP_non_rec(), and APP_rec().


The documentation for this class was generated from the following file: