class BasicSelfCreatedSnippet extends java.lang.Object implements FactoryMethod
Constructor and Description |
---|
BasicSelfCreatedSnippet() |
Modifier and Type | Method and Description |
---|---|
Term |
produce(BasicSnippetData d,
ProofObligationVars poVars) |
public Term produce(BasicSnippetData d, ProofObligationVars poVars) throws java.lang.UnsupportedOperationException
produce
in interface FactoryMethod
java.lang.UnsupportedOperationException