| AbstractsAttribute | Abstracts attribute |
| CCM::ArrayExpr | Array type expression |
| CCM::Attribute | Represents an attribute with positional and named arguments |
| CCM::BinDumper | |
| CCM::Block | Statement block (list of Statements) |
| CCM::BoolExpr | Boolean type expression |
| CCM::BoolIterator | Iterator that loops over false and true |
| CCM::BreakStm | Break statement |
| CCM::Class | Represents a class |
| CCM::ConditionBoolValue | Boolean constant for use in predicate conditions |
| CCM::ConditionDoubleValue | Double constant for use in predicate conditions |
| CCM::ConditionFieldValue | State field value for use in predicate conditions |
| CCM::ConditionIntValue | Integer constant for use in predicate conditions |
| CCM::ConditionValue | Abstract value for use in predicate conditions |
| CCM::ContinueStm | Continue statement |
| CCM::CS2CCMB | Cs2ccmb main program |
| CCM::CSharpParser | C#-Parser class |
| CCM::DoStm | Do loop statement |
| CCM::DoubleIterator | Iterator that loops over a range of doubles |
| EqAttribute | Eq attribute |
| CCM::EqRel | Equivalence relation for a single value |
| CCM::ErrorMessage | |
| EventAttribute | Event attribute |
| CCM::Expr | Base class of all expressions |
| CCM::ExprStm | Statement that just evaluates an expression |
| CCM::FloatExpr | Float type expression |
| CCM::ForStm | For loop statement without initializer (this is already handled by the parser) |
| CCM::IfStm | If-Then-Else statement |
| CCM::IntExpr | Integer typ expression |
| CCM::IntIterator | Iterator that loops over a range of integers |
| CCM::List | List that provides a nice ToString() |
| CCM::ListIterator | Iterates exhaustively over a list (tuple) of IEnumerables |
| CCM::Location | Keeps track of the location in the program |
| Debugging::Logger | |
| CCM::Message | |
| CCM::Method | Represents a method |
| CCM::Method::MethodCall | Stack of currently called methods; it is here in class Method to keep it private (so only Method.execute() can modify it) |
| CCM::MethodCallNode | Represents a stub method call |
| CCM::Model | Represents a CCMB model (set of processes) |
| CCM::Node | Node in the process graph |
| CCM::NullExpr | Expression without type |
| Sets::Pair | Pair of objects |
| Sets::PairSet | Set for storing pairs of objects |
| Sets::PairSetEnumerator | Enumerator for PairSet |
| CCM::PredCondition | Single predicate condition |
| PropertyAttribute | Property attribute |
| CCM::QID | Represents a qualified identifier |
| CCM::Range | Value range for equivalence relation domains |
| RangeAttribute | Range attribute |
| CCM::Ref | Represents a variable or method reference |
| CCM::Report | This class is used to report errors and warnings to the user |
| CCM::ReturnStm | Return statement |
| CCM::SimChecker | (Bi)similarity checker |
| CCM::StateAbstraction | State abstraction (equivalence relation for StateNodes) |
| CCM::Statement | Common interface of all statements |
| CCM::StateNode | Node that represents a state |
| CCM::StatePredicate | Predicate over a StateNode |
| CCM::StateRefNode | Node that represents a state reference |
| CCM::StringExpr | String type expression |
| CCM::StubExpr | Stub expression |
| CCM::StubIterator | Singleton class for managing exhaustive iteration over all stub property and stub method return values |
| CCM::StubIterator::StubCallState | Stores the iteration state of a particular stub call |
| CCM::StubIterator::StubInputState | Stores the iteration state of a particular stub input |
| CCM::StubIterator::StubOutputState | Stores the iteration state of a particular stub output |
| CCM::ThisExpr | "this" expression |
| CCM::ThrowStm | Throw statement |
| CCM::Token | |
| CCM::Tokenizer | Tokenizer for C# source code |
| CCM::TransitionAbstraction | Transition abstraction (equivalence relation for TransitionNodes) |
| CCM::TransitionNode | Represents a generic transition node |
| CCM::ValueInNode | Represents a stub property reading |
| CCM::ValueOutNode | Represents a stub property writing |
| CCM::Variable | Represents a variable or a class field |
| CCM::VariableDecl | Represents a typed variable declaration with attributes |
| CCM::VoidExpr | Void expression for void method calls |
| CCM::WarningMessage | |
| CCM::WhileStm | While loop statement |
| CCM::WriteStm | Statement that writes an expression to the standard output |
| CCM::yydebug::yyDebug | |
| CCM::yydebug::yyDebugSimple | |
| CCM::yyParser::yyException | Thrown for irrecoverable syntax errors and stack overflow |
| CCM::yyParser::yyInput | Must be implemented by a scanner object to supply input to the parser |
1.3.7