Package | Description |
---|---|
de.uka.ilkd.key.rule.tacletbuilder |
Modifier and Type | Class and Description |
---|---|
class |
AntecTacletBuilder
class builds Schematic Theory Specific Rules (Taclets) with find part
int antecedent.
|
class |
RewriteTacletBuilder<T extends RewriteTaclet>
class builds RewriteTaclet objects.
|
class |
SuccTacletBuilder
class builds SuccTaclet objects.
|
Copyright © 2003-2019 The KeY-Project.