| Version 2 (modified by , 16 years ago) ( diff ) |
|---|
The MiniMP Intermediate Representation
Processes
Variables
- BoundVariable
- FormalVariable
- LocalVariable
- ProcessVariable
- SharedVariable
Types
- ArrayType
- FunctionType
- PointerType
- RecordType
Expressions
- PlusExpression
- TimesExpression
- DivideExpression
- AddressOfExpression
- LHSExpression
- DereferenceExpression
- RecordNavigationExpression
- ExistsExpression
- ForallExpression
- IfThenElseExpression
- LiteralExpression
- NotEmptyExpression
- NotFullExpression
- QuantifierExpression
- VariableExpression
Statements
- AllocateStatement
- AssertionStatement
- AssignmentStatement
- AssumeStatement
- DeallocateStatement
- InvocationStatement
- NoopStatement
- ReceiveStatement
- SendStatement
Functions
Note:
See TracWiki
for help on using the wiki.
