F Class Reference

Wrapper around the node stucture, facilitates op overloading. More...

#include <tarski.h>

List of all members.

Public Member Functions
Operator_t	type ()
Fnode *	lchild ()
Fnode *	rchild ()
int	node_print ()
	Prints a single node.
F	operator & (F B)
F	operator| (F B)
F	operator% (F B)
F	operator^ (F B)
F	operator== (F B)
F	operator<< (F B)
F	operator, (F B)
F	operator>> (F B)
F	operator! ()
int	operator() (cube)
Public Attributes
Fnode *	raw

---

Detailed Description

Wrapper around the node stucture, facilitates op overloading.

Definition at line 109 of file tarski.h.

---

Member Function Documentation

Fnode* F::lchild (   )  [inline]

Definition at line 113 of file tarski.h. References Fnode::lchild. Referenced by nodeComputeBdd(), nodeGetSupportRecur(), operator()(), restrict(), and ri().

int F::node_print (   )

Prints a single node. Needs a great deal of elaboration. Definition at line 358 of file node.c. References Fnode::lchild, Fnode::rchild, and Fnode::type.

F F::operator & (  F  B  )  [inline]

Definition at line 116 of file tarski.h. References raw.

F F::operator! (   )  [inline]

Definition at line 124 of file tarski.h. References raw.

F F::operator% (  F  B  )  [inline]

Definition at line 118 of file tarski.h. References raw.

int F::operator() (  cube  aCube  )

Function******************************************************************** Synopsis [Overloading the function call operator to take a cube, evaluate the node.] Description [Overloading the function call operator to take a cube, evaluate the node.] Definition at line 401 of file bdd.c. References And_c, Iff_c, lchild(), node_test_is_boolean(), Not_c, Or_c, raw, rchild(), and type().

F F::operator, (  F  B  )  [inline]

Definition at line 122 of file tarski.h. References raw.

F F::operator<< (  F  B  )  [inline]

Definition at line 121 of file tarski.h. References raw.

F F::operator== (  F  B  )  [inline]

Definition at line 120 of file tarski.h. References raw.

F F::operator>> (  F  B  )  [inline]

Definition at line 123 of file tarski.h. References raw.

F F::operator^ (  F  B  )  [inline]

Definition at line 119 of file tarski.h. References raw.

F F::operator| (  F  B  )  [inline]

Definition at line 117 of file tarski.h. References raw.

Fnode* F::rchild (   )  [inline]

Definition at line 114 of file tarski.h. References Fnode::rchild. Referenced by listlength(), nodeComputeBdd(), nodeGetSupportRecur(), operator()(), restrict(), and ri().

Operator_t F::type (   )  [inline]

Definition at line 112 of file tarski.h. References Operator_t, and Fnode::type. Referenced by listlength(), nodeComputeBdd(), nodeGetSupportRecur(), operator()(), restrict(), and ri().

---

Member Data Documentation

Fnode* F::raw

Definition at line 111 of file tarski.h. Referenced by assign(), bi(), br(), build_dlx_uclid_compare(), build_dlx_uclid_impl(), build_dlx_uclid_spec(), build_dlx_uclid_superscalar_seq(), build_double_instr(), build_fold_unfold_check(), build_microarch_wrapper(), build_single_instr(), FALSE(), cube::insert(), list(), listlength(), mux(), Net_ReplaceWritewithRead(), nodeComputeBdd(), nodeGetSupportRecur(), operator &(), operator!(), operator%(), operator()(), operator,(), operator<<(), operator==(), operator>>(), cube::operator[](), operator^(), operator|(), restrict(), ri(), sc(), si(), sr(), TRUE(), uif(), uif2(), and uif3().

---

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

• tarski.h
• bdd.c
• node.c

---