A mere constructor.
Parameters: resultWindow - a boolean indicating if the results of this Ruleshould be presented in a separate window Parameters: dptf - the DecisionProcedureTranslationFactory to be used
A mere constructor for convenience. Creates an CVCLiteIntegerRule with
resultWindow set to true Parameters: dptf - the DecisionProcedureTranslationFactory to be used