cube Class Reference

Structure encapsulating a cube - a valuation to a subset of F nodes. More...

#include <tarski.h>

List of all members.

Public Member Functions
	cube ()
	~cube ()
int	operator[] (F)
void	insert (F, int)
Public Attributes
st_table *	nodeToValue

---

Detailed Description

Structure encapsulating a cube - a valuation to a subset of F nodes.

Definition at line 252 of file tarski.h.

---

Constructor & Destructor Documentation

cube::cube (   )

Function******************************************************************** Synopsis [Constructor for cube class] Description [Constructor for cube class] Definition at line 326 of file bdd.c. References node_cmp(), node_hash(), and nodeToValue.

cube::~cube (   )

Function******************************************************************** Synopsis [Destructor for cube class] Description [Destructor for cube class] Definition at line 339 of file bdd.c.

---

Member Function Documentation

void cube::insert (  F  aNode, int  value )

Function******************************************************************** Synopsis [Insert a value into the cube] Description [Insert a value into the cube] SideEffects [] SeeAlso [] Definition at line 382 of file bdd.c. References nodeToValue, and F::raw.

int cube::operator[] (  F  aNode  )

Function******************************************************************** Synopsis [Overload the array operator to perform lookups] Description [Overload the array operator to perform lookups] SideEffects [] SeeAlso [] Definition at line 358 of file bdd.c. References nodeToValue, and F::raw.

---

Member Data Documentation

st_table* cube::nodeToValue

Definition at line 254 of file tarski.h. Referenced by cube(), insert(), operator[](), and test_bdd().

---

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

• tarski.h
• bdd.c

---