at.jku.risc.stout.urmc.algo

Class Substitution

java.lang.Object

at.jku.risc.stout.urmc.algo.Substitution

public class Substitution
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
static String	MAPPING_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()
Substitution(Map<Variable,TermNode> mapping)

Method Summary

Methods

Modifier and Type	Method and Description
void	clear() Removes all the mappings from a substitution.
void	compose(Substitution theta)
void	compose(Variable fromVar, TermNode toTerm) Substitution composition which does not add new variables to the mapping.
Substitution	copy()
boolean	equals(Object obj)
TermNode	get(Variable var) Returns the associated TermNode for a given Variable or null if no mapping exists.
Map<Variable,TermNode>	getMapping()
int	hashCode()
void	put(Variable fromVar, TermNode toTerm) Add a new mapping of the form: Variable -> Term.
String	toString()

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Field Detail

MAPPING_SEPARATOR

public static String MAPPING_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()

Substitution

public Substitution(Map<Variable,TermNode> mapping)

Method Detail

clear

public void clear()

Removes all the mappings from a substitution.

compose

public void compose(Substitution theta)

compose

public void compose(Variable fromVar,
           TermNode toTerm)

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

copy

public Substitution copy()

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

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()

hashCode

public int hashCode()

Overrides:

hashCode in class Object

put

public void put(Variable fromVar,
       TermNode toTerm)

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

toString

public String toString()

Overrides:

toString in class Object