at.jku.risc.stout.hoau.algo

Class AntiUnifySystem

java.lang.Object

at.jku.risc.stout.hoau.algo.AntiUnifySystem

public class AntiUnifySystem
extends Object

This class represents a rule based system for (a variant of) higher-order anti-unification.
The algorithm P is described in the paper:
Alexander Baumgartner, Temur Kutsia, Jordi Levy and Mateu Villaret, A Variant of Higher-Order Anti-Unification

Author:

Alexander Baumgartner

Constructor Summary

Constructors

Constructor and Description
AntiUnifySystem(EquationSystem<AntiUnifyProblem> problemSet, Substitution sigma) Creates and initializes the rule based system.

Method Summary

Methods

Modifier and Type	Method and Description
void	compute() Computes the result silently.
void	compute(DebugLevel debugLevel, PrintStream debugOut) Computes the result and prints progress information to PrintStream according to DebugLevel.
EquationSystem<AntiUnifyProblem>	getProblemSet() Returns the problem set which is empty after compute() succeeded.
Substitution	getSigma() The substitution sigma contains the generalization after compute() succeeded.
List<AntiUnifyProblem>	getStore() Returns the store where all the disagreements are stored during the computation.
String	toString()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

AntiUnifySystem

public AntiUnifySystem(EquationSystem<AntiUnifyProblem> problemSet,
               Substitution sigma)
                throws NotNormalizableException

Creates and initializes the rule based system.

Throws:

NotNormalizableException

Method Detail

compute

public void compute()
             throws NotNormalizableException

Computes the result silently.

Throws:

NotNormalizableException

compute

public void compute(DebugLevel debugLevel,
           PrintStream debugOut)
             throws NotNormalizableException

Computes the result and prints progress information to PrintStream according to DebugLevel.

Throws:

NotNormalizableException

getProblemSet

public EquationSystem<AntiUnifyProblem> getProblemSet()

Returns the problem set which is empty after compute() succeeded.

getSigma

public Substitution getSigma()

The substitution sigma contains the generalization after compute() succeeded.

getStore

public List<AntiUnifyProblem> getStore()

Returns the store where all the disagreements are stored during the computation. It contains all the information about how to instantiate the computed generalization to obtain the original terms back. Only contains information after compute() succeeded.

toString

public String toString()

Overrides:

toString in class Object