14:58:47beachNow, I don't see anything in the automaton code that depends on transitions being integers. Yet, if I call ADD-PATH not with a list of numbers, but with a list of classes, it fails.
16:07:08beachSo the automaton seems to work just as well for classes as for class numbers. That's good, because I then don't have to touch that code at all.