public interface SVWrapper
Modifier and Type | Method and Description |
---|---|
SchemaVariable |
getSV()
returns a String name of this meta construct.
|
void |
setSV(SchemaVariable sv)
sets the schema variable of sort statement
|
void setSV(SchemaVariable sv)
sv
- the SchemaVariable to wrapSchemaVariable getSV()
Copyright © 2003-2019 The KeY-Project.