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

# /Users/fpy/titan-1-5-MBARI/Mers/Solvers/SAT/GATSAT/CompileSAT/CSATFactory.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_COMPILESAT_CSATFACTORY_HEADER_FILE
    00012 #define MERS_SOLVERS_SAT_GATSAT_COMPILESAT_CSATFACTORY_HEADER_FILE
    00013
    00014 #include <Mers/Solvers/SAT/GATSAT/GatsatFactory.h>
    00015
    00016 #include "CompileSAT.h"
    00017
    00018 namespace Mers {
    00019         namespace Solvers {
    00020                 namespace SAT {
    00021                         namespace GATSAT {
    00022                                 namespace CompileSAT {
    00023
    00024                                         class CSATFactory : public Mers::Solvers::SAT::GATSAT::GatsatFactory
    00025                                         {
    00026                                         public:
    00030                                                 CSATFactory() : Mers::Solvers::SAT::GATSAT::GatsatFactory() {
    00031                                                 }
    00032
    00036                                                 virtual ~CSATFactory() {
    00037                                                 }
    00038
    00060                                         virtual Mers::Solvers::SAT::GATSAT::CompileSAT::CompileSAT *
    00061                                                 createGatsat(
    00062                                                 const Mers::Models::Base::BaseModelVariableArray & searchVars,
    00063                                                 const Mers::Models::Base::BaseModelVariableArray & allVars,
    00064                                                 const Mers::Models::Base::BaseModelSentence & theory)
    00065                                                 const throw(Mers::Utils::Exceptions::RuntimeException);
    00066                                         };
    00067                                 }
    00068                         }
    00069                 }
    00070         }
    00071 }
    00072
    00073 #endif // MERS_SOLVERS_SAT_GATSAT_COMPILESAT_CSATFACTORY_HEADER_FILE