Method | Description | |
---|---|---|
IsInductiveOperation ( Reko.Core.Statement stm ) : bool | ||
RegionConstantFinder ( List |
||
VisitApplication ( Application appl ) : void | ||
VisitAssignment ( Assignment a ) : void | ||
VisitBinaryExpression ( BinaryExpression binExp ) : void | ||
VisitConstant ( Constant c ) : void | ||
VisitIdentifier ( Identifier id ) : void |
public IsInductiveOperation ( Reko.Core.Statement stm ) : bool | ||
stm | Reko.Core.Statement | |
return | bool |
public RegionConstantFinder ( List |
||
scc | List |
|
ssaIds | SsaIdentifierCollection | |
return | Reko.Core |
public VisitApplication ( Application appl ) : void | ||
appl | Application | |
return | void |
public VisitAssignment ( Assignment a ) : void | ||
a | Assignment | |
return | void |
public VisitBinaryExpression ( BinaryExpression binExp ) : void | ||
binExp | BinaryExpression | |
return | void |
public VisitIdentifier ( Identifier id ) : void | ||
id | Identifier | |
return | void |