Uses of Interface
at.jku.risc.stout.hoau.data.Equation

Packages that use Equation

Package	Description
at.jku.risc.stout.hoau.algo	This package contains the classes of the rule based system (AntiUnifySystem) and its sub-algorighm PermEquivSystem.
at.jku.risc.stout.hoau.data	This package contains the classes which are needed to build up the term tree and the DataStructureFactory which instantiates common data structures like Lists, Maps, Sets.

Uses of Equation in at.jku.risc.stout.hoau.algo

Classes in at.jku.risc.stout.hoau.algo that implement Equation

Modifier and Type	Class and Description
class	AntiUnifyProblem This class represents an anti-unification problem (AUP) which consists of one generalization variable (the most general generalization), a list of abstracted bound variables and an anti-unification equation.
class	PermEquivProblem This class represents a matching problem of two TermNodes.

Uses of Equation in at.jku.risc.stout.hoau.data

Classes in at.jku.risc.stout.hoau.data with type parameters of type Equation

Modifier and Type	Class and Description
class	EquationSystem<T extends Equation> A system of Equations

Methods in at.jku.risc.stout.hoau.data with type parameters of type Equation

Modifier and Type	Method and Description
<T extends Equation> void	InputParser.parseEquation(Reader in1, Reader in2, EquationSystem<T> eqSys, int maxReduce)
<T extends Equation> void	InputParser.parseEquationSystem(String in, EquationSystem<T> eqSys, int maxReduce) Parses a string and puts all the equations into the given equation system.

Methods in at.jku.risc.stout.hoau.data that return Equation

Modifier and Type	Method and Description
Equation	Equation.clone()