Alloy Namespace Reference

Classes
class	AlloyException
class	AlloyExporter
	The AlloyExporter class saves the generated Alloy code to disk. More...
class	AlloyPlugin
	Implements the interface between the Alloy plug-in and Envision. More...
class	AlloyTest
class	AlloyVisitor
	The AlloyVisitor class transforms a class into Alloy compatible code. More...
class	CAlloy
	The CAlloy class offers the command line interaction to execute the Alloy generation. More...

Functions
Class *	addLinkedList ()
Class *	addNode ()

Function Documentation

addLinkedList()

Class* Alloy::addLinkedList

(

)

addNode()

Class* Alloy::addNode

(

)