at.jku.risc.stout.tgau.algo

Class HedgeAUP

java.lang.Object

at.jku.risc.stout.tgau.util.PrintableX

at.jku.risc.stout.tgau.algo.BaseAUP

at.jku.risc.stout.tgau.algo.HedgeAUP

All Implemented Interfaces:

Printable

public class HedgeAUP
extends BaseAUP

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

Author:

Alexander Baumgartner

Field Summary

Fields

Modifier and Type	Field and Description
boolean	commutative
HedgeVar	generalizationVar
java.util.List<Variable>	left
java.util.List<Variable>	right

Fields inherited from class at.jku.risc.stout.tgau.algo.BaseAUP

PRINT_EQ_SEPARATOR

Constructor Summary

Constructors

Constructor and Description
HedgeAUP(HedgeVar generalizationVar, java.util.List<Variable> left, java.util.List<Variable> right, boolean commutative) Create an AUP with the given generalization variable and hedges.

Method Summary

Modifier and Type	Method and Description
Variable	getGeneralizationVar()
java.lang.Object	getLeft()
java.lang.Object	getRight()
boolean	isCommutative()
void	print(java.io.Writer out)

Methods inherited from class at.jku.risc.stout.tgau.util.PrintableX

toString

Methods inherited from class java.lang.Object

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

Field Detail

commutative

public boolean commutative

generalizationVar

public HedgeVar generalizationVar

left

public java.util.List<Variable> left

right

public java.util.List<Variable> right

Constructor Detail

HedgeAUP

public HedgeAUP(HedgeVar generalizationVar,
                java.util.List<Variable> left,
                java.util.List<Variable> right,
                boolean commutative)

Create an AUP with the given generalization variable and hedges.

Parameters:

commutative -

Method Detail

getGeneralizationVar

public Variable getGeneralizationVar()

Specified by:

getGeneralizationVar in class BaseAUP

getLeft

public java.lang.Object getLeft()

Specified by:

getLeft in class BaseAUP

getRight

public java.lang.Object getRight()

Specified by:

getRight in class BaseAUP

isCommutative

public boolean isCommutative()

Overrides:

isCommutative in class BaseAUP

print

public void print(java.io.Writer out)
           throws java.io.IOException

Throws:

java.io.IOException