class Runner(object): def __init__(self, path, startstates=[]): self.path = path self.fsm = FSM() self.loader = Loader(path) self.startstates = startstates def prepare(self): self.loader.load() self.fsm.startstates = self.startstates self.fsm.actionset = self.loader.actions self.fsm.explore() def run(self): self.fsm.execute() def savesvg(self): self.fsm.savesvg()