at.jku.risc.stout.tgau.algo

Class AntiUnify

java.lang.Object

at.jku.risc.stout.tgau.algo.AntiUnify

public class AntiUnify
extends java.lang.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, RigidityFncSubsequence rigidFncCommutative, TermGraph g1, TermGraph g2, NodeFactory nf) Attention: Do not run two instances in parallel, since AntiUnifySystem uses global static arguments!

Method Summary

Modifier and Type	Method and Description
long	antiUnify(boolean iterateAll, boolean normalize) Silently computes the generalizations.
long	antiUnify(boolean iterateAll, boolean normalize, DebugLevel debugLevel, java.io.PrintStream out) Start computation with the specified PrintStream to show the progress of the computation.
void	callback(TermGraph generalization) This callback function will be invoked for every found generalization.
java.util.Set<TermGraph>	getNormalizedSet() The set of all the computed and normalized generalizations.
void	printDebug(DebugLevel debugLevel, java.io.PrintStream out, AntiUnifySystem sys)

Methods inherited from class java.lang.Object

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

Constructor Detail

AntiUnify

public AntiUnify(RigidityFnc rigidFnc,
                 RigidityFncSubsequence rigidFncCommutative,
                 TermGraph g1,
                 TermGraph g2,
                 NodeFactory nf)

Attention: Do not run two instances in parallel, since AntiUnifySystem uses global static arguments!

Method Detail

antiUnify

public long antiUnify(boolean iterateAll,
                      boolean normalize)
               throws IllegalAlignmentException

Silently computes the generalizations. If the given argument is false then only one result will be computed, otherwise all generalizations are computed.

Throws:

IllegalAlignmentException

antiUnify

public long antiUnify(boolean iterateAll,
                      boolean normalize,
                      DebugLevel debugLevel,
                      java.io.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, otherwise all generalizations are computed.

Throws:

IllegalAlignmentException

callback

public void callback(TermGraph generalization)

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.

getNormalizedSet

public java.util.Set<TermGraph> getNormalizedSet()

The set of all the computed and normalized generalizations.

printDebug

public void printDebug(DebugLevel debugLevel,
                       java.io.PrintStream out,
                       AntiUnifySystem sys)