Package | Description |
---|---|
de.uka.ilkd.key.informationflow.po | |
de.uka.ilkd.key.informationflow.proof |
Modifier and Type | Method and Description |
---|---|
InfFlowProofSymbols |
LoopInvExecutionPO.getIFSymbols() |
InfFlowProofSymbols |
InfFlowPO.getIFSymbols() |
InfFlowProofSymbols |
InfFlowContractPO.getIFSymbols() |
InfFlowProofSymbols |
BlockExecutionPO.getIFSymbols() |
InfFlowProofSymbols |
SymbolicExecutionPO.getIFSymbols() |
InfFlowProofSymbols |
InfFlowProofSymbols.union(InfFlowProofSymbols symbols) |
InfFlowProofSymbols |
InfFlowProofSymbols.unionLabeled(InfFlowProofSymbols symbols) |
Modifier and Type | Method and Description |
---|---|
InfFlowProofSymbols |
InfFlowProofSymbols.union(InfFlowProofSymbols symbols) |
InfFlowProofSymbols |
InfFlowProofSymbols.unionLabeled(InfFlowProofSymbols symbols) |
void |
LoopInvExecutionPO.unionLabeledIFSymbols(InfFlowProofSymbols symbols) |
void |
InfFlowPO.unionLabeledIFSymbols(InfFlowProofSymbols symbols) |
void |
InfFlowContractPO.unionLabeledIFSymbols(InfFlowProofSymbols symbols) |
void |
BlockExecutionPO.unionLabeledIFSymbols(InfFlowProofSymbols symbols) |
void |
SymbolicExecutionPO.unionLabeledIFSymbols(InfFlowProofSymbols symbols) |
Modifier and Type | Method and Description |
---|---|
InfFlowProofSymbols |
InfFlowProof.getIFSymbols() |
InfFlowProofSymbols |
InfFlowProof.removeInfFlowProofSymbols() |
Modifier and Type | Method and Description |
---|---|
void |
InfFlowProof.unionIFSymbols(InfFlowProofSymbols symbols) |
void |
InfFlowProof.unionLabeledIFSymbols(InfFlowProofSymbols symbols) |
Copyright © 2003-2019 The KeY-Project.