- Main Page
- Namespaces
- Classes
- Files
- Related Pages

# /Users/fpy/titan-1-5-MBARI/Mers/Solvers/SAT/GATSAT/GatsatFactory.h

    00001
    00002 //
    00003 // Copyright (c) 2004           Model-based Embedded and Robotic Systems Group
    00004 // All Rights Reserved          Massachusetts Institute of Technology
    00005 //
    00006 // This software is provided as is. Model-based Embedded and Robotic Systems
    00007 // (MERS) group does not assume any responsibility.
    00008 //
    00010
    00011 #ifndef MERS_SOLVERS_SAT_GATSAT_GATSATFACTORY_HEADER_FILE
    00012 #define MERS_SOLVERS_SAT_GATSAT_GATSATFACTORY_HEADER_FILE
    00013
    00014 #include <Mers/Utils/Patterns/Factory.h>
    00015 #include <Mers/Utils/Exceptions/RuntimeException.h>
    00016
    00017 namespace Mers {
    00018         namespace Models {
    00019                 namespace Base {
    00020                         class BaseModelVariableArray;
    00021                         class BaseModelSentence;
    00022                 }
    00023         }
    00024         namespace Solvers {
    00025                 namespace SAT {
    00026                         namespace GATSAT {
    00027                                 class GATSAT;
    00028
    00032                                 class GatsatFactory : public Mers::Utils::Patterns::Factory
    00033                                 {
    00034                                 public:
    00038                                         GatsatFactory() : Mers::Utils::Patterns::Factory() {
    00039                                         }
    00040
    00044                                         virtual ~GatsatFactory() {
    00045                                         }
    00046
    00068                                         virtual Mers::Solvers::SAT::GATSAT::GATSAT * createGatsat(
    00069                                                 const Mers::Models::Base::BaseModelVariableArray & searchVars,
    00070                                                 const Mers::Models::Base::BaseModelVariableArray & allVars,
    00071                                                 const Mers::Models::Base::BaseModelSentence & theory)
    00072                                                 const throw(Mers::Utils::Exceptions::RuntimeException) = 0;
    00073                                 };
    00074                         }
    00075                 }
    00076         }
    00077 }
    00078
    00079
    00080 #endif
    00081