Package | Description |
---|---|
de.uka.ilkd.key.api |
This package gives an high-level entry point to the KeY world.
|
Modifier and Type | Method and Description |
---|---|
java.util.List<VariableAssignments> |
Matcher.matchPattern(java.lang.String pattern,
Sequent currentSeq,
VariableAssignments assignments)
Matches a sequent against a sequent pattern (a schematic sequent) returns a list of Nodes containing matching
results from where the information about instantiated schema variables can be extracted.
|
java.util.List<VariableAssignments> |
ScriptApi.matchPattern(java.lang.String pattern,
Sequent currentSeq,
VariableAssignments assignments)
Matches a sequent against a sequent pattern (a schematic sequent) returns a list of Nodes containing matching
results from where the information about instantiated schema variables can be extracted.
|
Modifier and Type | Method and Description |
---|---|
java.util.List<VariableAssignments> |
Matcher.matchPattern(java.lang.String pattern,
Sequent currentSeq,
VariableAssignments assignments)
Matches a sequent against a sequent pattern (a schematic sequent) returns a list of Nodes containing matching
results from where the information about instantiated schema variables can be extracted.
|
java.util.List<VariableAssignments> |
ScriptApi.matchPattern(java.lang.String pattern,
Sequent currentSeq,
VariableAssignments assignments)
Matches a sequent against a sequent pattern (a schematic sequent) returns a list of Nodes containing matching
results from where the information about instantiated schema variables can be extracted.
|
Term |
ScriptApi.toTerm(java.lang.String term,
VariableAssignments assignments) |
Constructor and Description |
---|
VariableAssignments(VariableAssignments parentAssignments)
Create new, empty variable assignment, to add variables
|
Copyright © 2003-2019 The KeY-Project.