fuzion
fuzion copied to clipboard
DFA: two phase DFA
First phase determines possibly available and possible required effects.
Second phase performs full DFA using the intersection of available and required effects as effect environments.