class BasicSelfExactTypeSnippet extends Object implements FactoryMethod
Constructor and Description |
---|
BasicSelfExactTypeSnippet() |
public Term produce(BasicSnippetData d, ProofObligationVars poVars) throws UnsupportedOperationException
produce
in interface FactoryMethod
UnsupportedOperationException