Main Page | Namespace List | Class Hierarchy | Class List | File List | Class Members

cs2ccmb File List

Here is a list of all files with brief descriptions:
bindump.csReads a binary process dump and outputs its CCMB representation
block.csClasses to represent and evaluate C# statement blocks and statements
CCMAttributes.csDefines the attributes that are used in bisimulation verification: Event, Range, Property, Abstracts, Eq
class.csClasses to represent classes and methods
cs-parser.csParse a C# file into a representing object tree
cs-tokenizer.cs
cs2ccmb.csDetermines a CCMB model of a CCM component written in C#
debugging.csClasses to aid debugging (logger for now)
decls.csClasses to represent attributes, qualified identifiers, variables and fields
eqrel.csClasses to deal with abstraction: value range, equivalence relation, strate and transition abstraction relation
expr.csClasses to represent and evaluate a C# expression tree
iterator.csClasses to implement value iterators for several data types
location.cs
pairset.csEfficient implementation for a set of object pairs
process.csClasses to represent the generated model as a set of processes
report.cs
sim.csReads two binary process dumps and check whether they are (bi)similar
statepredicate.csClasses to implement prediates (filters) over process states

Generated on Mon Jun 21 01:20:49 2004 for cs2ccmb by doxygen 1.3.7