de.uka.ilkd.key.informationflow.po

Interface InfFlowCompositePO

All Superinterfaces:

InfFlowPO, ProofOblInput

All Known Implementing Classes:

BlockExecutionPO, LoopInvExecutionPO, SymbolicExecutionPO

public interface InfFlowCompositePO
extends InfFlowPO

Author:

christoph

Method Summary

Modifier and Type	Method and Description
AbstractInfFlowPO	getChildPO()

Methods inherited from interface de.uka.ilkd.key.informationflow.po.InfFlowPO

addIFSymbol, addIFSymbol, addLabeledIFSymbol, addLabeledIFSymbol, getIFSymbols, getLeaveIFVars, unionLabeledIFSymbols

Methods inherited from interface de.uka.ilkd.key.proof.init.ProofOblInput

getContainerType, getPO, implies, name, readProblem

Method Detail

getChildPO

AbstractInfFlowPO getChildPO()