at.jku.risc.stout.nau.algo

Class AntiUnifyProblem

java.lang.Object

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

at.jku.risc.stout.nau.data.Equation<NominalTerm>

at.jku.risc.stout.nau.algo.AntiUnifyProblem

All Implemented Interfaces:

DeepCopy<Equation<NominalTerm>>

public class AntiUnifyProblem
extends Equation<NominalTerm>

This class represents an anti-unification problem (AUP) which consists of one generalization variable (the most general generalization) and an anti-unification Equation.

Author:

Alexander Baumgartner

Field Summary

Fields

Modifier and Type	Field and Description
static String	eqSeparator
static String	varSeparator

Constructor Summary

Constructors

Constructor and Description
AntiUnifyProblem(NominalTerm left, NominalTerm right, NodeFactory factory) A constructor who takes two nominal terms and a factory to instantiate a fresh generalization variable.

Method Summary

Methods

Modifier and Type	Method and Description
Equation<NominalTerm>	deepCopy() Returns a deep copy of this object.
Variable	getGeneralizationVar() The most general generalization.
void	printString(Writer toPrint) Writes a string representation of this object into an arbitrary Writer.
static void	printString(Writer toPrint, NominalTerm left, NominalTerm right, Variable genVar)

Methods inherited from class at.jku.risc.stout.nau.data.Equation

getLeft, getRight, setLeft, setRight

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

Field Detail

eqSeparator

public static String eqSeparator

varSeparator

public static String varSeparator

Constructor Detail

AntiUnifyProblem

public AntiUnifyProblem(NominalTerm left,
                NominalTerm right,
                NodeFactory factory)

A constructor who takes two nominal terms and a factory to instantiate a fresh generalization variable.

Method Detail

deepCopy

public Equation<NominalTerm> deepCopy()

Description copied from interface: DeepCopy

Returns a deep copy of this object. All the referenced objects will be copied.

getGeneralizationVar

public Variable getGeneralizationVar()

The most general generalization.

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

printString

public static void printString(Writer toPrint,
               NominalTerm left,
               NominalTerm right,
               Variable genVar)
                        throws IOException

Throws:

IOException