RISC JKU

Library download page

<< Return to the main page

Usage example (formatted by java2html):
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 FWF Der Wissenschaftsfond
Project: SToUT - Symbolic Computation Techniques for Unranked Terms