public interface InfFlowPO extends ProofOblInput
Modifier and Type | Method and Description |
---|---|
void |
addIFSymbol(Named n) |
void |
addIFSymbol(Term t) |
void |
addLabeledIFSymbol(Named n) |
void |
addLabeledIFSymbol(Term t) |
InfFlowProofSymbols |
getIFSymbols() |
IFProofObligationVars |
getLeaveIFVars() |
void |
unionLabeledIFSymbols(InfFlowProofSymbols symbols) |
getContainerType, getPO, implies, name, readProblem
IFProofObligationVars getLeaveIFVars()
InfFlowProofSymbols getIFSymbols()
void addIFSymbol(Term t)
void addIFSymbol(Named n)
void addLabeledIFSymbol(Term t)
void addLabeledIFSymbol(Named n)
void unionLabeledIFSymbols(InfFlowProofSymbols symbols)