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:

• /home/runner/work/cbmc/cbmc/src/solvers/bdd/miniBDD/miniBDD.cpp