public class Substitution extends Object
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 and Description |
---|
Substitution() |
Substitution(Map<Variable,TermNode> mapping) |
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)
|
Map<Variable,TermNode> |
getMapping() |
int |
hashCode() |
void |
put(Variable fromVar,
TermNode toTerm)
Add a new mapping of the form: Variable -> Term.
|
String |
toString() |
public static String MAPPING_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 void compose(Substitution theta)
public void compose(Variable fromVar, TermNode toTerm)
public Substitution copy()
public void put(Variable fromVar, TermNode toTerm)