public class NIProofObligationSelector extends ConsoleProofObligationSelector
contracts, initConfig, TAB, ui
Constructor and Description |
---|
NIProofObligationSelector(ConsoleUserInterfaceControl ui,
InitConfig initConfig) |
Modifier and Type | Method and Description |
---|---|
boolean |
selectProofObligation() |
createPOForSelectedContract, findOrStartProof, printAvailableProofObligations
public NIProofObligationSelector(ConsoleUserInterfaceControl ui, InitConfig initConfig)
public boolean selectProofObligation()
selectProofObligation
in interface ProofObligationSelector
selectProofObligation
in class ConsoleProofObligationSelector