at.jku.risc.stout.hoau.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(int maxNormalizeSteps)
Creates an empty substitution with the given upper bound for the beta
reduction.
|
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
Beta reduction is triggered automatically. |
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 Substitution(int maxNormalizeSteps)
public void clear()
public Substitution clone()
public void composeInRange(Variable fromVar, TermNode toTerm) throws NotNormalizableException
NotNormalizableException
public void put(Variable fromVar, TermNode toTerm) throws NotNormalizableException
NotNormalizableException
public String toRanString()