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

Packages that use Equation

Package	Description
at.jku.risc.stout.urau.algo	This package contains the classes of the rule based system AntiUnifySystem, the corresponding problem definition AntiUnifyProblem and some standard implementations of a rigidity function (RigidityFncSubsequence, RigidityFncSubstring ).
at.jku.risc.stout.urau.data	This package contains the classes which are needed to build up the term tree.

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

Classes in at.jku.risc.stout.urau.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), and two Hedges.

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

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

Modifier and Type	Class and Description
class	EquationSystem<T extends Equation> A system of Equations
class	InputParser<T extends Equation> Tiny term parser with the following rules: [A-Za-z1-9_.] are allowed for variable names and function names.

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

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