static InfFlowPOSnippetFactory |
POSnippetFactory.getInfFlowFactory(BlockContract contract,
ProofObligationVars vars1,
ProofObligationVars vars2,
ExecutionContext context,
Services services) |
static InfFlowPOSnippetFactory |
POSnippetFactory.getInfFlowFactory(InformationFlowContract contract,
ProofObligationVars vars1,
ProofObligationVars vars2,
Services services) |
static InfFlowPOSnippetFactory |
POSnippetFactory.getInfFlowFactory(LoopSpecification invariant,
ProofObligationVars vars1,
ProofObligationVars vars2,
ExecutionContext context,
Term guardTerm,
Services services) |