Property | Type | Description | |
---|---|---|---|
type | MonaExprType |
Property | Type | Description | |
---|---|---|---|
subexprs | Microsoft.Automata.MSO.Mona.MonaExpr[] |
Method | Description | |
---|---|---|
ToInt ( MonaDecl>.Dictionary |
||
this ( int i ) : |
Method | Description | |
---|---|---|
MonaExpr ( |
||
TypeCheck ( MonaDecl>.Dictionary |
public ToInt ( MonaDecl>.Dictionary |
||
globals | MonaDecl>.Dictionary | |
return | int |
protected MonaExpr[],Microsoft.Automata.MSO.Mona subexprs | ||
return | Microsoft.Automata.MSO.Mona.MonaExpr[] |