Package | Description |
---|---|
de.uka.ilkd.key.rule.match.vm | |
de.uka.ilkd.key.rule.match.vm.instructions |
Class and Description |
---|
MatchSchemaVariableInstruction |
Class and Description |
---|
Instruction
enum encoding the instructions of the matching vm
|
MatchInstruction
Interface that has to be implemented by instructions for the matching virtual machine
|
MatchOperatorInstruction |
MatchSchemaVariableInstruction |
Copyright © 2003-2019 The KeY-Project.