return methods_.get(i).getName();
}
}
public static void main(String[] args) throws Exception {
FsmModel model = new SimpleSet();
SimpleMBT tester = new SimpleMBT(model);
for (int length = 0; length < 100; length++) {
System.out.println(tester.generate() + ": " + model.getState());
}
}