public class SchemaVariableFactory
extends java.lang.Object
Modifier | Constructor and Description |
---|---|
private |
SchemaVariableFactory() |
Modifier and Type | Method and Description |
---|---|
static FormulaSV |
createFormulaSV(Name name) |
static FormulaSV |
createFormulaSV(Name name,
boolean rigidness)
creates a SchemaVariable representing a formula
|
static ModalOperatorSV |
createModalOperatorSV(Name name,
Sort sort,
ImmutableSet<Modality> modalities)
creates a SchemaVariable representing an operator
|
static ProgramSV |
createProgramSV(ProgramElementName name,
ProgramSVSort s,
boolean listSV)
creates a SchemaVariable representing a program construct
|
static SkolemTermSV |
createSkolemTermSV(Name name,
Sort s)
creates a SchemaVariable representing a skolem term
|
static TermLabelSV |
createTermLabelSV(Name name)
creates a LabelSchemaVariable
|
static TermSV |
createTermSV(Name name,
Sort sort) |
static TermSV |
createTermSV(Name name,
Sort sort,
boolean rigidness,
boolean strictSV)
creates a SchemaVariable representing a term but not a formula
|
static UpdateSV |
createUpdateSV(Name name) |
static VariableSV |
createVariableSV(Name name,
Sort sort)
creates a SchemaVariable representing quantified variables
|
public static VariableSV createVariableSV(Name name, Sort sort)
name
- the Name of the SchemaVariablesort
- the Sort of the variable the SchemaVariable will be
used to representpublic static TermSV createTermSV(Name name, Sort sort, boolean rigidness, boolean strictSV)
name
- the Name of the SchemaVariablesort
- the Sort of the term the SchemaVariable will be
used to representrigidness
- true iff this SV may only match rigid
terms/formulasstrictSV
- boolean indicating if the schemavariable is declared as strict
forcing exact type matchpublic static ModalOperatorSV createModalOperatorSV(Name name, Sort sort, ImmutableSet<Modality> modalities)
name
- the Name of the SchemaVariablepublic static FormulaSV createFormulaSV(Name name, boolean rigidness)
name
- the Name of the SchemaVariablerigidness
- true iff this SV may only match rigid
terms/formulaspublic static ProgramSV createProgramSV(ProgramElementName name, ProgramSVSort s, boolean listSV)
public static SkolemTermSV createSkolemTermSV(Name name, Sort s)
public static TermLabelSV createTermLabelSV(Name name)