at.jku.risc.stout.urau.algo

Class Substitution

java.lang.Object

at.jku.risc.stout.urau.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 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_EMPTY_REPLACEMENT Most likely you want to change Hedge.PRINT_PARAM_START and Hedge.PRINT_PARAM_END instead of this variable.
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, TermNode toTerm) Substitution composition which does not add new variables to the mapping.
TermNode	get(Variable var) Returns the associated TermNode for a given Variable or null if no mapping exists.
Map<Variable,TermNode>	getMapping()
void	put(Variable fromVar, TermNode toTerm) Add a new mapping of the form: Variable -> Term
String	toRanString() Only prints the range of the mapping, which is actually useful to display a computed generalization of an AUP without the generalization variable (which presents the most general generalization).
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_EMPTY_REPLACEMENT

public static String SIGMA_EMPTY_REPLACEMENT

Most likely you want to change Hedge.PRINT_PARAM_START and Hedge.PRINT_PARAM_END instead of this variable.

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,
                  TermNode toTerm)

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

get

public TermNode get(Variable var)

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

getMapping

public Map<Variable,TermNode> getMapping()

put

public void put(Variable fromVar,
       TermNode toTerm)

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

toRanString

public String toRanString()

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

toString

public String toString()

Overrides:

toString in class Object