Class | Description |
---|---|
InfFlowContractAppTaclet |
A normal RewriteTaclet except that the formula which is added by this taclet
is also added to the list of formulas contained in the
INF_FLOW_CONTRACT_APPL_PROPERTY.
|
Copyright © 2003-2019 The KeY-Project.