at.jku.risc.stout.urau.algo
public class Substitution extends Object implements Cloneable
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 and Description |
---|
Substitution() |
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)
|
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() |
public static String RAN_PRINT_SEPARATOR
public static String SIGMA_EMPTY_REPLACEMENT
public static String SIGMA_END
public static String SIGMA_MAPTO
public static String SIGMA_START
public void clear()
public Substitution clone()
public void composeInRange(Variable fromVar, TermNode toTerm)
public void put(Variable fromVar, TermNode toTerm)
public String toRanString()