at.jku.risc.stout.urau.algo

Class AntiUnify

java.lang.Object

at.jku.risc.stout.urau.algo.AntiUnify

public class AntiUnify
extends Object

This class encapsulates the rule based system AntiUnifySystem and takes care of the system branching.

Author:

Alexander Baumgartner

Constructor Summary

Constructors

Constructor and Description
AntiUnify(RigidityFnc rigidFnc, EquationSystem<AntiUnifyProblem> eq, DebugLevel debugLevel)

Method Summary

Methods

Modifier and Type	Method and Description
long	antiUnify(boolean iterateAll, PrintStream out) Start computation with the specified PrintStream to show the progress of the computation.
void	callback(AntiUnifySystem result, Variable generalizationVar) This callback function will be invoked for every found generalization.
EquationSystem<AntiUnifyProblem>	getEqOrig() Returns the original system of equations.

Methods inherited from class java.lang.Object

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

Constructor Detail

AntiUnify

public AntiUnify(RigidityFnc rigidFnc,
         EquationSystem<AntiUnifyProblem> eq,
         DebugLevel debugLevel)

Method Detail

antiUnify

public long antiUnify(boolean iterateAll,
             PrintStream out)
               throws IllegalAlignmentException

Start computation with the specified PrintStream to show the progress of the computation. If the first argument is false, then only one result will be computed.

Throws:

IllegalAlignmentException

callback

public void callback(AntiUnifySystem result,
            Variable generalizationVar)

This callback function will be invoked for every found generalization. By default it does nothing. For instance, one can use this callback function to collect all the results or to filter out some interesting results.
In combination with a matching algorithm, one can obtain the minimal complete set of generalizations by using this callback function.

getEqOrig

public EquationSystem<AntiUnifyProblem> getEqOrig()

Returns the original system of equations.