at.jku.risc.stout.urauc.algo

Class AntiUnify

java.lang.Object

at.jku.risc.stout.urauc.algo.AntiUnify

public class AntiUnify
extends Object

This class encapsulates the rule based system AntiUnifySystem and allows to justify the result by back substitution of the generalization with the reported differences inside the computed store.

Author:

Alexander Baumgartner

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
class	AntiUnify.AntiUnifyOne

Constructor Summary

Constructors

Constructor and Description
AntiUnify(AlignFnc aFnc, EquationSystem<AntiUnifyProblem> sys, DebugLevel debugLevel)
AntiUnify(AlignFnc aFnc, EquationSystem<AntiUnifyProblem> sys, int minAlignmentLength, int upperBound, boolean applyResH, DebugLevel debugLevel)

Method Summary

Methods

Modifier and Type	Method and Description
long	antiUnify(boolean iterateAll, boolean justify, PrintStream out)
long	antiUnifySingleAup(AntiUnifyProblem aup, boolean iterateAll, boolean justify, PrintStream out)
void	callback(AntiUnifySystem result, Variable generalizationVar) This callback function will be invoked for every found generalization.

Methods inherited from class java.lang.Object

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

Constructor Detail

AntiUnify

public AntiUnify(AlignFnc aFnc,
         EquationSystem<AntiUnifyProblem> sys,
         DebugLevel debugLevel)

AntiUnify

public AntiUnify(AlignFnc aFnc,
         EquationSystem<AntiUnifyProblem> sys,
         int minAlignmentLength,
         int upperBound,
         boolean applyResH,
         DebugLevel debugLevel)

Method Detail

antiUnify

public long antiUnify(boolean iterateAll,
             boolean justify,
             PrintStream out)
               throws ControlledException,
                      JustificationException

Throws:

ControlledException

JustificationException

antiUnifySingleAup

public long antiUnifySingleAup(AntiUnifyProblem aup,
                      boolean iterateAll,
                      boolean justify,
                      PrintStream out)
                        throws ControlledException,
                               JustificationException

Throws:

ControlledException

JustificationException

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.