if(values.containsKey("wyone")) {
// this is basically a hack to allow reading in wyone files so
// we can debug them.
try {
FileInputStream fin = new FileInputStream(args.get(0));
PrettyAutomataReader reader = new PrettyAutomataReader(fin,SCHEMA);
Automaton automaton = reader.read();
new PrettyAutomataWriter(System.err, SCHEMA, "And",
"Or").write(automaton);
IterativeRewriter.Strategy<InferenceRule> inferenceStrategy = new UnfairStateRuleRewriteStrategy<InferenceRule>(
automaton, Solver.inferences, Solver.SCHEMA);