rgrig/topl — Issue #14: abstraction
Author: rgrig
Created: 2012-03-01 17:31:35+00:00
State: open

We should have some form of abstraction at runtime.

We will need to keep track of sets of values in automaton variables.