Tarski Class List

Here are the classes, structs, unions and interfaces with brief descriptions:

cube	Structure encapsulating a cube - a valuation to a subset of F nodes
F	Wrapper around the node stucture, facilitates op overloading
Fm	Wrapper around Fmatrix, used for op overloading
Fmatrix	A matrix of F formulas
Fnode	Node structure - basically a cons list
Fv	Dummy class encapsulating Fvector --- allows us to perform operator overloading in a natural way
Fvector
NetStruct	Net structure. Used to go back and forth between nodes, vars, defns, registers/NS/init, etc

---