Reader in1 = new StringReader("a,a,a"); // Use FileReader instead Reader in2 = new StringReader("a,a,a,a"); // Use FileReader instead boolean iterateAll = true; RigidityFnc rFnc = new RigidityFncSubsequence().setMinLen(3); EquationSystem<AntiUnifyProblem> eqSys = new EquationSystem<AntiUnifyProblem>() { public AntiUnifyProblem newEquation() { return new AntiUnifyProblem(); } }; new InputParser<AntiUnifyProblem>(eqSys).parseHedgeEquation(in1, in2); new AntiUnify(rFnc, eqSys, DebugLevel.SILENT) { public void callback(AntiUnifySystem res, Variable var) { System.out.println(res.getSigma().get(var)); }; }.antiUnify(iterateAll, null);
Author: | Alexander Baumgartner | |
Project: | SToUT - Symbolic Computation Techniques for Unranked Terms |