at.jku.risc.stout.nau.algo

Class AntiUnifySystem

java.lang.Object

at.jku.risc.stout.nau.util.Printable

at.jku.risc.stout.nau.algo.AntiUnifySystem

public class AntiUnifySystem
extends Printable

This class represents a rule based system for Nominal Anti-Unificaion.
The algorithm P is described in the paper:
Alexander Baumgartner, Temur Kutsia, Jordi Levy and Mateu Villaret, Nominal Anti-Unificaion

Author:

Alexander Baumgartner

Constructor Summary

Constructors

Constructor and Description
AntiUnifySystem(NodeFactory factory, EquationSystem<AntiUnifyProblem> problemSet, FreshnessCtx nablaIn) Creates and initializes the rule based system.
AntiUnifySystem(NodeFactory factory, EquationSystem<AntiUnifyProblem> problemSet, FreshnessCtx nablaIn, Collection<? extends Atom> atoms, List<AntiUnifyProblem> store, FreshnessCtx nablaGen, Substitution sigma) Creates and initializes the rule based system.

Method Summary

Methods

Modifier and Type	Method and Description
AntiUnifyProblem	addEquation(NominalTerm left, NominalTerm right, boolean deepCopy) Adds an anti-unification problem to the set of problems.
void	compute() Computes the result silently.
void	compute(DebugLevel debugLevel, PrintStream debugOut) Computes the result and prints progress information to PrintStream according to DebugLevel.
FreshnessCtx	getNablaGen() The freshness context of the generalization after compute() succeeded.
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.
void	printString(Writer toPrint) Writes a string representation of this object into an arbitrary Writer.

Methods inherited from class at.jku.risc.stout.nau.util.Printable

printString, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

AntiUnifySystem

public AntiUnifySystem(NodeFactory factory,
               EquationSystem<AntiUnifyProblem> problemSet,
               FreshnessCtx nablaIn)

Creates and initializes the rule based system. Uses an empty store, empty nablaGen and empty sigma.

See Also:

AntiUnify

AntiUnifySystem

public AntiUnifySystem(NodeFactory factory,
               EquationSystem<AntiUnifyProblem> problemSet,
               FreshnessCtx nablaIn,
               Collection<? extends Atom> atoms,
               List<AntiUnifyProblem> store,
               FreshnessCtx nablaGen,
               Substitution sigma)

Creates and initializes the rule based system.

See Also:

AntiUnify

Method Detail

addEquation

public AntiUnifyProblem addEquation(NominalTerm left,
                           NominalTerm right,
                           boolean deepCopy)
                             throws ControlledException

Adds an anti-unification problem to the set of problems.

Throws:

ControlledException

compute

public void compute()
             throws ControlledException

Computes the result silently.

Throws:

ControlledException

compute

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

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

Throws:

ControlledException

getNablaGen

public FreshnessCtx getNablaGen()

The freshness context of the generalization after compute() succeeded.

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.

printString

public void printString(Writer toPrint)
                 throws IOException

Description copied from class: Printable

Writes a string representation of this object into an arbitrary Writer.

Specified by:

printString in class Printable

Throws:

IOException