at.jku.risc.stout.nau.algo

Class Substitution

java.lang.Object

at.jku.risc.stout.nau.algo.Substitution

All Implemented Interfaces:

Cloneable

public class Substitution
extends Object
implements Cloneable

This class represents a substitution, which is a mapping from variables to nominal terms.
It is used inside the rule based system AntiUnifySystem to compute generalizations for given AntiUnifyProblems. In this case, the left hand side of the mapping is the generalization variable of an anti-unification problem (AUP) and the right hand side is the generalization computed so far.

Author:

Alexander Baumgartner

Field Summary

Fields

Modifier and Type	Field and Description
static String	RAN_PRINT_SEPARATOR Default = "; "
static String	SIGMA_END Default = "} "
static String	SIGMA_MAPTO Default = " -> "
static String	SIGMA_START Default = "{"

Constructor Summary

Constructors

Constructor and Description
Substitution()

Method Summary

Methods

Modifier and Type	Method and Description
void	clear() Removes all the mappings from a substitution.
Substitution	clone()
void	composeInRange(Variable fromVar, NominalTerm toTerm) Substitution composition which does not add new variables to the mapping.
NominalTerm	get(Variable var) Returns the associated NominalTerm for a given Variable or null if no mapping exists.
Map<Variable,NominalTerm>	getMapping()
void	printRanString(Writer writer, FreshnessCtx nabla) Only prints the range of the mapping, which is actually useful to display a computed generalization of an AUP without the generalization variable.
void	put(Variable fromVar, NominalTerm toTerm) Add a new mapping of the form: Variable -> Term.
String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

RAN_PRINT_SEPARATOR

public static String RAN_PRINT_SEPARATOR

Default = "; "

SIGMA_END

public static String SIGMA_END

Default = "} "

SIGMA_MAPTO

public static String SIGMA_MAPTO

Default = " -> "

SIGMA_START

public static String SIGMA_START

Default = "{"

Constructor Detail

Substitution

public Substitution()

Method Detail

clear

public void clear()

Removes all the mappings from a substitution.

clone

public Substitution clone()

Overrides:

clone in class Object

composeInRange

public void composeInRange(Variable fromVar,
                  NominalTerm toTerm)
                    throws MalformedSortException

Substitution composition which does not add new variables to the mapping. (This is useful for generalization computation of AUPs.)

Throws:

MalformedSortException

get

public NominalTerm get(Variable var)

Returns the associated NominalTerm for a given Variable or null if no mapping exists.

getMapping

public Map<Variable,NominalTerm> getMapping()

printRanString

public void printRanString(Writer writer,
                  FreshnessCtx nabla)
                    throws IOException

Only prints the range of the mapping, which is actually useful to display a computed generalization of an AUP without the generalization variable.

Throws:

IOException

put

public void put(Variable fromVar,
       NominalTerm toTerm)

Add a new mapping of the form: Variable -> Term.

toString

public String toString()

Overrides:

toString in class Object