Package | Description |
---|---|
de.uka.ilkd.key.informationflow.po | |
de.uka.ilkd.key.informationflow.proof | |
de.uka.ilkd.key.rule |
This package contains classes for implementing rules.
|
Class and Description |
---|
AbstractInfFlowPO
Abstract to customize
AbstractPO and AbstractOperationPO . |
IFProofObligationVars
This class contains the set of four sets of ProofObligationVars necessary for
information flow proofs.
|
InfFlowCompositePO |
InfFlowLeafPO |
InfFlowPO |
InfFlowProofSymbols |
Class and Description |
---|
InfFlowProofSymbols |
Class and Description |
---|
IFProofObligationVars
This class contains the set of four sets of ProofObligationVars necessary for
information flow proofs.
|
Copyright © 2003-2019 The KeY-Project.