static BasicPOSnippetFactory |
POSnippetFactory.getBasicFactory(BlockContract contract,
ProofObligationVars vars,
ExecutionContext context,
Services services) |
static BasicPOSnippetFactory |
POSnippetFactory.getBasicFactory(FunctionalOperationContract contract,
ProofObligationVars vars,
Services services) |
static BasicPOSnippetFactory |
POSnippetFactory.getBasicFactory(InformationFlowContract contract,
ProofObligationVars vars,
Services services) |
static BasicPOSnippetFactory |
POSnippetFactory.getBasicFactory(LoopSpecification invariant,
ProofObligationVars vars,
ExecutionContext context,
Term guardTerm,
Services services) |