mini_bdd_mgrt Class Reference

#include <miniBDD.h>

Inheritance diagram for mini_bdd_mgrt:

Collaboration diagram for mini_bdd_mgrt:

Classes
struct	reverse_keyt
struct	var_table_entryt

Public Types
typedef std::vector< var_table_entryt >	var_tablet

Public Member Functions
	mini_bdd_mgrt ()
	~mini_bdd_mgrt ()
mini_bddt	Var (const std::string &label)
void	DumpDot (std::ostream &out, bool supress_zero=false) const
void	DumpTikZ (std::ostream &out, bool supress_zero=false, bool node_numbers=true) const
void	DumpTable (std::ostream &out) const
const mini_bddt &	True () const
const mini_bddt &	False () const
mini_bddt	mk (unsigned var, const mini_bddt &low, const mini_bddt &high)
std::size_t	number_of_nodes ()

Public Attributes
var_tablet	var_table

Protected Types
typedef std::list< mini_bdd_nodet >	nodest
typedef std::map< reverse_keyt, mini_bdd_nodet * >	reverse_mapt
typedef std::stack< mini_bdd_nodet * >	freet

Protected Attributes
nodest	nodes
mini_bddt	true_bdd
mini_bddt	false_bdd
reverse_mapt	reverse_map
freet	free

Friends
class	mini_bdd_nodet

Detailed Description

Definition at line 85 of file miniBDD.h.

Member Typedef Documentation

freet

typedef std::stack<mini_bdd_nodet *> mini_bdd_mgrt::freet

protected

Definition at line 136 of file miniBDD.h.

nodest

typedef std::list<mini_bdd_nodet> mini_bdd_mgrt::nodest

protected

Definition at line 120 of file miniBDD.h.

reverse_mapt

typedef std::map<reverse_keyt, mini_bdd_nodet *> mini_bdd_mgrt::reverse_mapt

protected

Definition at line 133 of file miniBDD.h.

var_tablet

typedef std::vector<var_table_entryt> mini_bdd_mgrt::var_tablet

Definition at line 116 of file miniBDD.h.

Constructor & Destructor Documentation

mini_bdd_mgrt()

mini_bdd_mgrt::mini_bdd_mgrt

(

)

Definition at line 411 of file miniBDD.cpp.

~mini_bdd_mgrt()

mini_bdd_mgrt::~mini_bdd_mgrt

(

)

Definition at line 420 of file miniBDD.cpp.

Member Function Documentation

DumpDot()

void mini_bdd_mgrt::DumpDot	(	std::ostream &	out,
		bool	supress_zero = false
	)		const

Definition at line 45 of file miniBDD.cpp.

DumpTable()

void mini_bdd_mgrt::DumpTable

(

std::ostream &

out

)

const

Definition at line 486 of file miniBDD.cpp.

DumpTikZ()

void mini_bdd_mgrt::DumpTikZ	(	std::ostream &	out,
		bool	supress_zero = false,
		bool	node_numbers = true
	)		const

Definition at line 107 of file miniBDD.cpp.

False()

const mini_bddt & mini_bdd_mgrt::False

(

)

const

mk()

mini_bddt mini_bdd_mgrt::mk	(	unsigned	var,
		const mini_bddt &	low,
		const mini_bddt &	high
	)

Definition at line 425 of file miniBDD.cpp.

number_of_nodes()

std::size_t mini_bdd_mgrt::number_of_nodes

(

)

True()

const mini_bddt & mini_bdd_mgrt::True

(

)

const

Var()

mini_bddt mini_bdd_mgrt::Var

(

const std::string &

label

)

Definition at line 37 of file miniBDD.cpp.

Friends And Related Symbol Documentation

mini_bdd_nodet

friend class mini_bdd_nodet

friend

Definition at line 103 of file miniBDD.h.

Member Data Documentation

false_bdd

mini_bddt mini_bdd_mgrt::false_bdd

protected

Definition at line 122 of file miniBDD.h.

free

freet mini_bdd_mgrt::free

protected

Definition at line 137 of file miniBDD.h.

nodes

nodest mini_bdd_mgrt::nodes

protected

Definition at line 121 of file miniBDD.h.

reverse_map

reverse_mapt mini_bdd_mgrt::reverse_map

protected

Definition at line 134 of file miniBDD.h.

true_bdd

mini_bddt mini_bdd_mgrt::true_bdd

protected

Definition at line 122 of file miniBDD.h.

var_table

var_tablet mini_bdd_mgrt::var_table

Definition at line 117 of file miniBDD.h.

---

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

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