E
xtended_
F
inite_
S
tate_
M
achine_
I
nference
Subsumption
Drinks_Subsumption
Inference
SelectionStrategies
Store_Reuse
Store_Reuse_Subsumption
Increment_Reset
Same_Register
Least_Upper_Bound
Distinguishing_Guards
Weak_Subsumption
Group_By
PTA_Generalisation
EFSM_Dot
efsm2sal
Code_Target_List
Code_Target_Set
Code_Target_FSet
Code_Generation