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

# /Users/fpy/titan-1-5-MBARI/Mers/Solvers/SAT/GATSAT/NUGatsatFactory.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_UNITTESTS_NUGATSATFACTORY_HEADER_FILE
    00012 #define MERS_SOLVERS_SAT_GATSAT_UNITTESTS_NUGATSATFACTORY_HEADER_FILE
    00013
    00014 #include "GatsatFactory.h"
    00015 #include <Mers/Utils/Containers/IntegerArray.h>
    00016 #include <vector>
    00017
    00018 namespace Mers {
    00019         namespace Solvers {
    00020                 namespace SAT {
    00021                         namespace GATSAT {
    00025                                 class NUGatsatFactory : public GatsatFactory
    00026                                 {
    00027                                 public:
    00031                                         NUGatsatFactory() : GatsatFactory() {
    00032                                         }
    00033
    00037                                         virtual ~NUGatsatFactory() {
    00038                                         }
    00039
    00053                                         void setProbabilities(
    00054                                                 const Mers::Utils::Containers::IntegerArray & valueMap,
    00055                                                 const std::vector<double> & searchVarProbs);
    00056
    00079                                         virtual Mers::Solvers::SAT::GATSAT::GATSAT * createGatsat(
    00080                                                 const Mers::Models::Base::BaseModelVariableArray & searchVars,
    00081                                                 const Mers::Models::Base::BaseModelVariableArray & allVars,
    00082                                                 const Mers::Models::Base::BaseModelSentence & theory)
    00083                                                 const throw(Mers::Utils::Exceptions::RuntimeException);
    00084
    00114                                         virtual Mers::Solvers::SAT::GATSAT::GATSAT * createGatsat(
    00115                                                 const Mers::Models::Base::BaseModelVariableArray & searchVars,
    00116                                                 const Mers::Models::Base::BaseModelVariableArray & allVars,
    00117                                                 const Mers::Models::Base::BaseModelSentence & theory,
    00118                                                 const Mers::Utils::Containers::IntegerArray & valueMap,
    00119                                                 const std::vector<double> & searchVarProbs)
    00120                                                 const throw(Mers::Utils::Exceptions::RuntimeException) = 0;
    00121
    00122                                 protected:
    00127                                         Mers::Utils::Containers::IntegerArray m_ValueMap;
    00128
    00131                                         std::vector<double> m_SearchVarProbs;
    00132                                 };
    00133                         }
    00134                 }
    00135         }
    00136 }
    00137
    00138
    00139 #endif
    00140