public class SimpleSubstitutorStorage extends java.lang.Object implements ClauseSubstitutor
Constructor and Description |
---|
SimpleSubstitutorStorage() |
Modifier and Type | Method and Description |
---|---|
boolean |
containsGroup(java.lang.String key) |
java.lang.String |
getGrouped(java.lang.String key) |
void |
setGroups(java.util.Map<java.lang.String,java.lang.String> groups) |
public void setGroups(java.util.Map<java.lang.String,java.lang.String> groups)
public boolean containsGroup(java.lang.String key)
containsGroup
in interface ClauseSubstitutor
public java.lang.String getGrouped(java.lang.String key)
getGrouped
in interface ClauseSubstitutor