CrocoPat Data Structures

Here are the data structures with brief descriptions:

bddBdd	One Binary Decision Diagram and static data structures of the whole Shared BDD package
bddBinEntry	Cache entry for binary operations
bddGraphNode	Node for BDD output graph representation
bddNode	BDD node
bddRelation	Set of tupels represented by a BDD
bddRelationConst
bddStatEntry	Cache entry for counting tuples
bddSymTab	Symbol table for relations to support the binary encoding of values and attributes
Canvas
VisuBDD::ColorAssignment
VisuBDD::ControlDialog
Dialog
VisuBDD::FileInput
VisuBDD::FilenameDialog
FlexLexer
relDataType
relExprAnd
relExprClosure
relExprEquiv
relExpression
relExprExists
relExprNot
relExprOr
relExprRegExTerm	This expression matches regular expressions with terms
relExprRelNumCmp
relExprRelOp
relExprRelVar
relExprTupleOf	This expression results in a relation that contains one tuple
relNumber
relNumExpr
relNumExprBinOp
relNumExprConst
relNumExprRound
relNumExprStr
relNumExprTimeElapsed
relNumExprUnOp
relNumExprVar
relObject	The purpose of this class is to count the number of objects instantiated within the CrocoPat library
relPrintExpr
relPrintExprBDT
relPrintExprEndLine
relPrintExprGraph
relPrintExprInt
relPrintExprNodesPerVarId
relPrintExprRelInfo
relPrintExprSeq
relPrintExprString
relPrintExprValues
relReaderWriter
relStatement
relStmtAssign
relStmtAssignNum
relStmtAssignStr
relStmtEmpty	Empty statement
relStmtExec
relStmtExit
relStmtFor
relStmtIf
relStmtPrint
relStmtSeq
relStmtWhile
relStrCmdArg
relStrExpr
relStrExprBinOp
relStrExprConst
relStrExprElem
relStrExprNum
relStrExprVar
relString
relTerm
relTermAttribute
relTermExists
relTermStrExpr
VisuBDD::VisualizeFrame
VisuBDD::VisualizeFrame::MyCanvas
VisuBDD::VisualizeSize
yyFlexLexer

---