class SelfcomposedBlockSnippet extends ReplaceAndRegisterMethod implements InfFlowFactoryMethod
Constructor and Description |
---|
SelfcomposedBlockSnippet() |
Modifier and Type | Method and Description |
---|---|
Term |
produce(BasicSnippetData d,
ProofObligationVars poVars1,
ProofObligationVars poVars2) |
collectQuantifiableVariables, register, register, register, replace, replace, replace, replace, replace, replace, replaceQuantifiableVariables
public Term produce(BasicSnippetData d, ProofObligationVars poVars1, ProofObligationVars poVars2) throws java.lang.UnsupportedOperationException
produce
in interface InfFlowFactoryMethod
java.lang.UnsupportedOperationException