Package | Description |
---|---|
de.uka.ilkd.key.informationflow.rule.executor | |
de.uka.ilkd.key.rule.executor.javadl |
Modifier and Type | Class and Description |
---|---|
class |
InfFlowContractAppTacletExecutor |
Modifier and Type | Class and Description |
---|---|
class |
AntecTacletExecutor<TacletKind extends AntecTaclet>
Executes a Taclet which matches on a formula in the antecedent
|
class |
FindTacletExecutor<TacletKind extends FindTaclet> |
class |
NoFindTacletExecutor |
class |
RewriteTacletExecutor<TacletKind extends RewriteTaclet> |
class |
SuccTacletExecutor<TacletKind extends SuccTaclet> |
class |
TacletExecutor<TacletKind extends Taclet>
Encapsulates the application engine of taclets.
|
Copyright © 2003-2019 The KeY-Project.