public abstract class SchemaVariableModifierSet
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
static class |
SchemaVariableModifierSet.FormulaSV |
static class |
SchemaVariableModifierSet.FreshProgVarSV |
static class |
SchemaVariableModifierSet.ProgramSV |
static class |
SchemaVariableModifierSet.SkolemTermSV |
static class |
SchemaVariableModifierSet.TermLabelSV |
static class |
SchemaVariableModifierSet.TermSV |
static class |
SchemaVariableModifierSet.VariableSV |
Modifier and Type | Field and Description |
---|---|
private boolean |
list |
private boolean |
rigid |
private boolean |
strict |
Constructor and Description |
---|
SchemaVariableModifierSet() |
Modifier and Type | Method and Description |
---|---|
boolean |
addList() |
boolean |
addModifier(java.lang.String option) |
boolean |
addRigid() |
boolean |
addStrict() |
boolean |
list() |
protected boolean |
listEnabled() |
boolean |
rigid() |
protected boolean |
rigidEnabled() |
boolean |
strict() |
protected boolean |
strictEnabled() |
public boolean rigid()
protected boolean rigidEnabled()
public boolean strict()
protected boolean strictEnabled()
public boolean list()
protected boolean listEnabled()
public boolean addModifier(java.lang.String option)
true
iff option
is a valid modifier
for the considered kind of schema variablespublic boolean addRigid()
public boolean addStrict()
public boolean addList()