RISC-Linz RISC-Linz Research Institute for Symbolic Computation  
about
|
people
|
publications
|
research
|
education
|
industry
|
conferences
|
media
|
projects
internal
  
search:
  

Library download page

<< 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);


Author: Alexander Baumgartner FWF Der Wissenschaftsfond
Project: SToUT - Symbolic Computation Techniques for Unranked Terms