public interface ContractPO extends ProofOblInput
Contract
getContract()
Term
getMbyAtPre()
getContainerType, getPO, implies, name, readProblem
Contract getContract()
Term getMbyAtPre()
Copyright © 2003-2019 The KeY-Project.