This class is just a dummy to enable translating a Sequent into a Benchmark
and archiving it without calling an external decision procedure
author: akuwertz version: 1.0, 07/26/2006
A mere constructor.
Parameters: goal - the Goal which should be checked for satisfiability Parameters: dptf - the DecisionProcedureTranslationFactory used to ranslate the thesequent of the goal Parameters: services - the Services used during the translation process