interface FactoryMethod
Modifier and Type | Method and Description |
---|---|
Term |
produce(BasicSnippetData d,
ProofObligationVars poVars) |
Term produce(BasicSnippetData d, ProofObligationVars poVars) throws java.lang.UnsupportedOperationException
java.lang.UnsupportedOperationException