public interface InfFlowCompositePO extends InfFlowPO
Modifier and Type | Method and Description |
---|---|
AbstractInfFlowPO |
getChildPO() |
addIFSymbol, addIFSymbol, addLabeledIFSymbol, addLabeledIFSymbol, getIFSymbols, getLeafIFVars, unionLabeledIFSymbols
getContainerType, getPO, implies, name, readProblem
AbstractInfFlowPO getChildPO()