mini_bdd_nodet Class Reference

#include <miniBDD.h>

Collaboration diagram for mini_bdd_nodet:

Public Member Functions
	mini_bdd_nodet (class mini_bdd_mgrt *_mgr, unsigned _var, unsigned _node_number, const mini_bddt &_low, const mini_bddt &_high)
void	add_reference ()
void	remove_reference ()

Public Attributes
class mini_bdd_mgrt *	mgr
unsigned	var
unsigned	node_number
unsigned	reference_counter
mini_bddt	low
mini_bddt	high

Detailed Description

Definition at line 67 of file miniBDD.h.

Constructor & Destructor Documentation

mini_bdd_nodet()

mini_bdd_nodet::mini_bdd_nodet	(	class mini_bdd_mgrt *	_mgr,
		unsigned	_var,
		unsigned	_node_number,
		const mini_bddt &	_low,
		const mini_bddt &	_high
	)

Member Function Documentation

add_reference()

void mini_bdd_nodet::add_reference

(

)

remove_reference()

void mini_bdd_nodet::remove_reference

(

)

Definition at line 20 of file miniBDD.cpp.

Member Data Documentation

high

mini_bddt mini_bdd_nodet::high

Definition at line 72 of file miniBDD.h.

low

mini_bddt mini_bdd_nodet::low

Definition at line 72 of file miniBDD.h.

mgr

class mini_bdd_mgrt* mini_bdd_nodet::mgr

Definition at line 70 of file miniBDD.h.

node_number

unsigned mini_bdd_nodet::node_number

Definition at line 71 of file miniBDD.h.

reference_counter

unsigned mini_bdd_nodet::reference_counter

Definition at line 71 of file miniBDD.h.

var

unsigned mini_bdd_nodet::var

Definition at line 71 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