Module falcon::executor
[−]
[src]
Concrete execution over Falcon IL.
Structs
Driver |
A driver for a concrete executor over Falcon IL. |
State |
A concrete |
Successor |
The result of executing an |
Enums
SuccessorType |
A representation of the successor location in an |
Functions
eval |
Evaluate an |
Type Definitions
Memory |
A |