at.jku.risc.stout.urauc.algo

Class AntiUnifyProblem

java.lang.Object

at.jku.risc.stout.urauc.algo.AntiUnifyProblem

All Implemented Interfaces:

Equation, Cloneable

public class AntiUnifyProblem
extends Object
implements Equation, Cloneable

This class represents an anti-unification problem (AUP) which consists of one generalization variable (the most general generalization), and two Hedges. The hedges represent the left hand side and the right hand side of the equation.

Author:

Alexander Baumgartner

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
class	AntiUnifyProblem.CommutativeArrangementIter
static class	AntiUnifyProblem.VariableWithHedges

Field Summary

Fields

Modifier and Type	Field and Description
static String	PRINT_EQ_SEPARATOR
static String	PRINT_SYS_SEPARATOR
static String	PRINT_VAR_SEPARATOR

Constructor Summary

Constructors

Constructor and Description
AntiUnifyProblem() Obtain an empty AUP with fresh generalization variables.
AntiUnifyProblem(Hedge left, Hedge right, Alignment alignment) Create an AUP with fresh generalization variables and the given hedges.

Method Summary

Methods

Modifier and Type	Method and Description
void	addLeft(TermNode left) Adds a TermNode to the left hedge of the equation.
void	addRight(TermNode right) Adds a TermNode to the right hedge of the equation.
AntiUnifyProblem	clone()
Hedge	createMostGeneral()
Alignment	getAlignment()
AntiUnifyProblem.VariableWithHedges	getHorizontalPartX() Returns the horizontal abstraction of this AUP.
HedgeVar	getHorizontalVarX() Returns the hedge generalization variable, which is used for horizontal abstraction.
Hedge	getLeft() Returns the left hedge of this AUP.
Hedge	getRight() Returns the right hedge of this AUP.
AntiUnifyProblem.VariableWithHedges	getVerticalPartC() Returns the vertical abstraction of this AUP.
ContextVar	getVerticalVarC() Returns the context generalization variable, which is used for vertical abstraction.
void	init() This method is called automatically by the input parser after a new equation has been created.
void	initPositionIndexHorizontalPartX(int[] holeParentIndexLeft, int[] holeParentIndexRight) Initialize the position indexes of the hedge (horizontal sequence getHorizontalPartX()) with the given hole position of the context (getVerticalPartC()).
void	initPositionIndexVerticalPartC() Initialize the position indexes of the context (vertical sequence getVerticalPartC()).
AntiUnifyProblem.CommutativeArrangementIter	iteratorHorizontalPartX(boolean ignoreDisjointLeaves)
AntiUnifyProblem.CommutativeArrangementIter	iteratorVerticalPartC(boolean ignoreDisjointLeaves)
void	makeAssociative(Set<TermAtom> associativeSymbols) Make some symbols and/or the root hedge commutative.
void	makeCommutativ(Set<TermAtom> commutativeSymbols, boolean commutativeRootHedge) Make some symbols and/or the root hedge commutative.
Hedge	newHedge(TermNode... nodes) Creates a new hedge which is commutative iff getHorizontalPartX().checkCommutative() is true.
void	setAlignment(Alignment alignment)
void	setLeft(Hedge hedge) Set the left hedge of this AUP.
void	setRight(Hedge hedge) Set the left hedge of this AUP.
String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

PRINT_EQ_SEPARATOR

public static String PRINT_EQ_SEPARATOR

PRINT_SYS_SEPARATOR

public static String PRINT_SYS_SEPARATOR

PRINT_VAR_SEPARATOR

public static String PRINT_VAR_SEPARATOR

Constructor Detail

AntiUnifyProblem

public AntiUnifyProblem()

Obtain an empty AUP with fresh generalization variables.

AntiUnifyProblem

public AntiUnifyProblem(Hedge left,
                Hedge right,
                Alignment alignment)

Create an AUP with fresh generalization variables and the given hedges.

Method Detail

addLeft

public void addLeft(TermNode left)

Description copied from interface: Equation

Adds a TermNode to the left hedge of the equation.

Specified by:

addLeft in interface Equation

addRight

public void addRight(TermNode right)

Description copied from interface: Equation

Adds a TermNode to the right hedge of the equation.

Specified by:

addRight in interface Equation

clone

public AntiUnifyProblem clone()

Overrides:

clone in class Object

createMostGeneral

public Hedge createMostGeneral()

getAlignment

public Alignment getAlignment()

getHorizontalPartX

public AntiUnifyProblem.VariableWithHedges getHorizontalPartX()

Returns the horizontal abstraction of this AUP.

getHorizontalVarX

public HedgeVar getHorizontalVarX()

Returns the hedge generalization variable, which is used for horizontal abstraction. (It also represents the most general generalization of this AUP.)

getLeft

public Hedge getLeft()

Returns the left hedge of this AUP.

Specified by:

getLeft in interface Equation

getRight

public Hedge getRight()

Returns the right hedge of this AUP.

Specified by:

getRight in interface Equation

getVerticalPartC

public AntiUnifyProblem.VariableWithHedges getVerticalPartC()

Returns the vertical abstraction of this AUP.

getVerticalVarC

public ContextVar getVerticalVarC()

Returns the context generalization variable, which is used for vertical abstraction.

init

public void init()

Description copied from interface: Equation

This method is called automatically by the input parser after a new equation has been created. Override this method to implement an initialization for every newly generated equation.

Specified by:

init in interface Equation

initPositionIndexHorizontalPartX

public void initPositionIndexHorizontalPartX(int[] holeParentIndexLeft,
                                    int[] holeParentIndexRight)

Initialize the position indexes of the hedge (horizontal sequence getHorizontalPartX()) with the given hole position of the context (getVerticalPartC()). The child-position of the first element of the horizontal sequence is 0.

initPositionIndexVerticalPartC

public void initPositionIndexVerticalPartC()

Initialize the position indexes of the context (vertical sequence getVerticalPartC()). The child-position of the first element of the horizontal sequence is 0.

iteratorHorizontalPartX

public AntiUnifyProblem.CommutativeArrangementIter iteratorHorizontalPartX(boolean ignoreDisjointLeaves)

iteratorVerticalPartC

public AntiUnifyProblem.CommutativeArrangementIter iteratorVerticalPartC(boolean ignoreDisjointLeaves)

makeAssociative

public void makeAssociative(Set<TermAtom> associativeSymbols)

Make some symbols and/or the root hedge commutative.

makeCommutativ

public void makeCommutativ(Set<TermAtom> commutativeSymbols,
                  boolean commutativeRootHedge)

Make some symbols and/or the root hedge commutative.

newHedge

public Hedge newHedge(TermNode... nodes)

Creates a new hedge which is commutative iff getHorizontalPartX().checkCommutative() is true.

setAlignment

public void setAlignment(Alignment alignment)

setLeft

public void setLeft(Hedge hedge)

Set the left hedge of this AUP.

setRight

public void setRight(Hedge hedge)

Set the left hedge of this AUP.

toString

public String toString()

Overrides:

toString in class Object