Library download page

• Download the library
• Download the source code
• View the online documentation (JavaDoc)

<< Return to the main page

Usage example (formatted by java2html):

Reader in1 = new StringReader("\\x.f(b,a,a)"); // Use FileReader instead
Reader in2 = new StringReader("\\x.g(a,x,b)"); // Use FileReader instead
int maxReduce = 100;

EquationSystem<AntiUnifyProblem> eqSys = new EquationSystem<AntiUnifyProblem>() {
	public AntiUnifyProblem newEquation() {
		return new AntiUnifyProblem();
	}
};
new InputParser().parseEquation(in1, in2, eqSys, maxReduce);

new AntiUnify(eqSys, maxReduce, DebugLevel.SILENT) {
	public void callback(AntiUnifySystem res, Variable var) {
		System.out.println(res.getSigma().get(var));
	};
}.antiUnify(false, null);