at.jku.risc.stout.urau.algo

Class AntiUnifySystem

java.lang.Object

at.jku.risc.stout.urau.algo.AntiUnifySystem

public class AntiUnifySystem
extends Object

This class represents a rule based system for rigid anti-unification of unranked terms and hedges.
The algorithm G(R) is described in the paper:
Temur Kutsia, Jordi Levy, Mateu Villaret. Anti-Unification for Unranked Terms and Hedges.
In: Proc. RTA 2011. Vol. 10 of LIPIcs. Schloss Dagstuhl, 2011, 219-234.

Author:

Alexander Baumgartner

Field Summary

Fields

Modifier and Type	Field and Description
static String	OUTPUT_SEPARATOR

Constructor Summary

Constructors

Constructor and Description
AntiUnifySystem(Queue<AntiUnifySystem> eqBranch, RigidityFnc rFnc, EquationSystem<AntiUnifyProblem> problemSet, boolean setUID) Most likely you don't need this constructor because the algorithm is encapsulated in the class AntiUnify which is much easier to use.

Method Summary

Methods

Modifier and Type	Method and Description
void	compute() Computes the result silently.
void	compute(DebugLevel debugLevel, PrintStream debugOut) Most likely you don't need this method because the algorithm is encapsulated in the class AntiUnify which is much easier to use.
int	getBranchId()
EquationSystem<AntiUnifyProblem>	getProblemSet()
RigidityFnc	getRFnc()
Substitution	getSigma()
List<AntiUnifyProblem>	getStore()
static void	resetCounter()
String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

OUTPUT_SEPARATOR

public static String OUTPUT_SEPARATOR

Constructor Detail

AntiUnifySystem

public AntiUnifySystem(Queue<AntiUnifySystem> eqBranch,
               RigidityFnc rFnc,
               EquationSystem<AntiUnifyProblem> problemSet,
               boolean setUID)

Most likely you don't need this constructor because the algorithm is encapsulated in the class AntiUnify which is much easier to use.

Method Detail

compute

public void compute()
             throws IllegalAlignmentException

Computes the result silently.

Throws:

IllegalAlignmentException

compute

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

Most likely you don't need this method because the algorithm is encapsulated in the class AntiUnify which is much easier to use.

Throws:

IllegalAlignmentException

getBranchId

public int getBranchId()

getProblemSet

public EquationSystem<AntiUnifyProblem> getProblemSet()

getRFnc

public RigidityFnc getRFnc()

getSigma

public Substitution getSigma()

getStore

public List<AntiUnifyProblem> getStore()

resetCounter

public static void resetCounter()

toString

public String toString()

Overrides:

toString in class Object