Package | Description |
---|---|
de.uka.ilkd.key.rule |
This package contains classes for implementing rules.
|
de.uka.ilkd.key.rule.match | |
de.uka.ilkd.key.rule.match.legacy | |
de.uka.ilkd.key.rule.match.vm |
Modifier and Type | Method and Description |
---|---|
TacletMatcher |
Taclet.getMatcher() |
Modifier and Type | Method and Description |
---|---|
abstract TacletMatcher |
TacletMatcherKit.createTacletMatcher(Taclet taclet)
the creator method returning the matcher for the specified taclet
|
Modifier and Type | Class and Description |
---|---|
class |
LegacyTacletMatcher
This class encapsulates the matching logic for taclet's.
|
Modifier and Type | Class and Description |
---|---|
class |
VMTacletMatcher
Matching algorithm using a virtual machine based approach inspired by Voronkonv et al.
|
Copyright © 2003-2019 The KeY-Project.