specless.automaton.transition_system

Functions

build_transition_system

Classes

MinigridTransitionSystem	A class representing both a transition system and a Minigrid environment.
TSBuilder	Implements the generic automaton builder class for TransitionSystem objects
TransitionSystem	A representation of a transition system automaton (a.k.a.