edu.buffalo.sneps
Class Substitution
java.lang.Object
java.util.AbstractMap<K,V>
java.util.HashMap<java.lang.String,java.lang.String>
edu.buffalo.sneps.Substitution
- All Implemented Interfaces:
- java.io.Serializable, java.lang.Cloneable, java.util.Map<java.lang.String,java.lang.String>
public class Substitution
- extends java.util.HashMap<java.lang.String,java.lang.String>
Represents a substitution (a set of pairs, each of which is a variable and a term).
Used by the askwh
and askwhnot
methods to represent substitutions. A HashSet of these are returned by these methods as there can be multiple substitutions that satisfy a particular query.
- See Also:
- Serialized Form
Constructor Summary |
Substitution(int capacity)
Creates an instance of the substitution with the specified capacity (number of substitution pairs). |
Method Summary |
void |
addSubstitutionPair(java.lang.String var,
java.lang.String val)
Adds a substitution pair to this substitution of the specified variable and value. |
java.lang.String |
getValFromVar(java.lang.String var)
Returns the value that unifies with the specified variable in this substitution. |
Methods inherited from class java.util.HashMap |
clear, clone, containsKey, containsValue, entrySet, get, isEmpty, keySet, put, putAll, remove, size, values |
Methods inherited from class java.util.AbstractMap |
equals, hashCode, toString |
Methods inherited from class java.lang.Object |
finalize, getClass, notify, notifyAll, wait, wait, wait |
Methods inherited from interface java.util.Map |
equals, hashCode |
Substitution
public Substitution(int capacity)
- Creates an instance of the substitution with the specified capacity (number of substitution pairs).
- Parameters:
capacity
- The capacity for this substitution
addSubstitutionPair
public void addSubstitutionPair(java.lang.String var,
java.lang.String val)
- Adds a substitution pair to this substitution of the specified variable and value.
- Parameters:
var
- The variable identifier.val
- The value that unifies with that variable
getValFromVar
public java.lang.String getValFromVar(java.lang.String var)
- Returns the value that unifies with the specified variable in this substitution.
- Parameters:
var
- The variable identifier to retrieve the value from.
- Returns:
- The value that unifies with
var
, or the empty string is no such variable is found in this set.