protected static class AbstractBlockContractRule.InfFlowValidityData
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
(package private) Term |
postAssumption |
(package private) Term |
preAssumption |
(package private) Taclet |
taclet |
Constructor and Description |
---|
InfFlowValidityData(Term preAssumption,
Term postAssumption,
Taclet taclet) |