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

# /Users/fpy/titan-1-5-MBARI/Mers/Solvers/SAT/GATSAT/OpSAT/OpSatFactory.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_OPSAT_OPSATFACTORY_HEADER_FILE
    00012 #define MERS_SOLVERS_SAT_GATSAT_OPSAT_OPSATFACTORY_HEADER_FILE
    00013
    00014 #include <Mers/Solvers/SAT/GATSAT/NUGatsatFactory.h>
    00015
    00016 #include <Mers/Solvers/SAT/GATSAT/OpSAT/Opsat.h>
    00017
    00018 namespace Mers {
    00019         namespace Solvers {
    00020                 namespace SAT {
    00021                         namespace GATSAT {
    00022                                 namespace OpSAT {
    00026                                         class OpSatFactory :
    00027                                                 public Mers::Solvers::SAT::GATSAT::NUGatsatFactory
    00028                                         {
    00029                                         public:
    00033                                                 OpSatFactory() :
    00034                                                         Mers::Solvers::SAT::GATSAT::NUGatsatFactory() {
    00035                                                 }
    00036
    00040                                                 virtual ~OpSatFactory() {
    00041                                                 }
    00042
    00072                                                 virtual Opsat * createGatsat(
    00073                                                         const Mers::Models::Base::BaseModelVariableArray & searchVars,
    00074                                                         const Mers::Models::Base::BaseModelVariableArray & allVars,
    00075                                                         const Mers::Models::Base::BaseModelSentence & theory,
    00076                                                         const Mers::Utils::Containers::IntegerArray & valueMap,
    00077                                                         const std::vector<double> & searchVarProbs)
    00078                                                         const throw(Mers::Utils::Exceptions::RuntimeException);
    00079
    00080                                         };
    00081                                 }
    00082                         }
    00083                 }
    00084         }
    00085 }
    00086
    00087 #endif