cprover
mini_bdd_nodet Class Reference

#include <miniBDD.h>

Collaboration diagram for mini_bdd_nodet:
[legend]

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_mgrtmgr
 
unsigned var
 
unsigned node_number
 
unsigned reference_counter
 
mini_bddt low
 
mini_bddt high
 

Detailed Description

Definition at line 65 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 ( )

Member Data Documentation

§ high

mini_bddt mini_bdd_nodet::high

Definition at line 70 of file miniBDD.h.

Referenced by mini_bdd_mgrt::mk(), and remove_reference().

§ low

mini_bddt mini_bdd_nodet::low

Definition at line 70 of file miniBDD.h.

Referenced by mini_bdd_mgrt::mk(), and remove_reference().

§ mgr

class mini_bdd_mgrt* mini_bdd_nodet::mgr

§ node_number

unsigned mini_bdd_nodet::node_number

Definition at line 69 of file miniBDD.h.

Referenced by mini_bdd_mgrt::mk(), and remove_reference().

§ reference_counter

unsigned mini_bdd_nodet::reference_counter

Definition at line 69 of file miniBDD.h.

Referenced by remove_reference().

§ var

unsigned mini_bdd_nodet::var

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