public static class IPersistablePO.LoadedPOContainer
extends java.lang.Object
Properties
instance via key must provide
the static method with the following signature:
public static LoadedPOContainer loadFrom(InitConfig initConfig, Properties properties) throws IOException
This method is called by the ProblemLoader
to recreate a proof obligation.
This class defines the result of this method which is the created proof obligation and its proof number.Modifier and Type | Field and Description |
---|---|
private int |
proofNum
The proof number which is
0 by default. |
private ProofOblInput |
proofOblInput
The created
ProofOblInput . |
Constructor and Description |
---|
LoadedPOContainer(ProofOblInput proofOblInput)
Constructor.
|
LoadedPOContainer(ProofOblInput proofOblInput,
int proofNum)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
int |
getProofNum()
Returns the proof number which is
0 by default. |
ProofOblInput |
getProofOblInput()
Returns the created
ProofOblInput . |
private ProofOblInput proofOblInput
ProofOblInput
.private int proofNum
0
by default.public LoadedPOContainer(ProofOblInput proofOblInput)
proofOblInput
- The created ProofOblInput
.public LoadedPOContainer(ProofOblInput proofOblInput, int proofNum)
proofOblInput
- The created ProofOblInput
.proofNum
- The proof number which is 0
by default.public ProofOblInput getProofOblInput()
ProofOblInput
.ProofOblInput
.public int getProofNum()
0
by default.0
by default.