interface InfFlowFactoryMethod
Modifier and Type | Method and Description |
---|---|
Term |
produce(BasicSnippetData d,
ProofObligationVars poVars1,
ProofObligationVars poVars2) |
Term produce(BasicSnippetData d, ProofObligationVars poVars1, ProofObligationVars poVars2) throws UnsupportedOperationException
UnsupportedOperationException