Interface Summary |
AssumeList |
A representation of the model object 'Assume List'. |
AtomicStmt |
A representation of the model object 'Atomic Stmt'. |
case_list |
A representation of the model object 'case list'. |
ControlList |
A representation of the model object 'Control List'. |
DimList |
A representation of the model object 'Dim List'. |
dUtyExpr |
A representation of the model object 'dUty Expr'. |
dUtyExprs |
A representation of the model object 'dUty Exprs'. |
FixpointEqList |
A representation of the model object 'Fixpoint Eq List'. |
Generic |
A representation of the model object 'Generic'. |
ImportList |
A representation of the model object 'Import List'. |
InOutName |
A representation of the model object 'In Out Name'. |
InOutNameList |
A representation of the model object 'In Out Name List'. |
InOutNameListComma |
A representation of the model object 'In Out Name List Comma'. |
Interface |
A representation of the model object 'Interface'. |
InterfaceComma |
A representation of the model object 'Interface Comma'. |
InterfaceList |
A representation of the model object 'Interface List'. |
LocStmt |
A representation of the model object 'Loc Stmt'. |
MacroDef |
A representation of the model object 'Macro Def'. |
Name |
A representation of the model object 'Name'. |
NamedStmt |
A representation of the model object 'Named Stmt'. |
ObservedSpecList |
A representation of the model object 'Observed Spec List'. |
OptUtyExpr |
A representation of the model object 'Opt Uty Expr'. |
OptUtyExprList |
A representation of the model object 'Opt Uty Expr List'. |
PackagePath |
A representation of the model object 'Package Path'. |
PointedName |
A representation of the model object 'Pointed Name'. |
ProofGoalList |
A representation of the model object 'Proof Goal List'. |
QModule |
A representation of the model object 'QModule'. |
QName |
A representation of the model object 'QName'. |
QNameList |
A representation of the model object 'QName List'. |
QrzFile |
A representation of the model object 'Qrz File'. |
QType |
A representation of the model object 'QType'. |
QTypeList |
A representation of the model object 'QType List'. |
QuartzFactory |
The Factory for the model. |
QuartzPackage |
The Package for the model. |
QuartzPackage.Literals |
Defines literals for the meta objects that represent
each class,
each feature of each class,
each enum,
and each data type
|
SeqStmt |
A representation of the model object 'Seq Stmt'. |
Stmt |
A representation of the model object 'Stmt'. |
UtyAction |
A representation of the model object 'Uty Action'. |
UtyExpr |
A representation of the model object 'Uty Expr'. |
UtyExprSelectList |
A representation of the model object 'Uty Expr Select List'. |