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

◆ node_number

unsigned mini_bdd_nodet::node_number

Definition at line 69 of file miniBDD.h.

Referenced by 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

Definition at line 69 of file miniBDD.h.

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


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