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

# /Users/fpy/titan-1-5-MBARI/Mers/Solvers/SAT/GATSAT/TestSuiteParser.hpp

    00001 #ifndef INC_TestSuiteParser_hpp_
    00002 #define INC_TestSuiteParser_hpp_
    00003
    00004 #include <antlr/config.hpp>
    00005 /* $ANTLR 2.7.5 (20050128): "TestSuite.g" -> "TestSuiteParser.hpp"$ */
    00006 #include <antlr/TokenStream.hpp>
    00007 #include <antlr/TokenBuffer.hpp>
    00008 #include "TestSuiteParserTokenTypes.hpp"
    00009 #include <antlr/LLkParser.hpp>
    00010
    00011 #line 13 "TestSuite.g"
    00012
    00014
    00015   namespace Mers {
    00016     namespace Models {
    00017       namespace Base {
    00018         class BaseModel;
    00019         class BaseModelValueArray;
    00020         class BaseModelValue;
    00021         class BaseModelVariable;
    00022         class BaseModelSentence;
    00023         class BaseModelClause;
    00024         class BaseModelAssignment;
    00025       }
    00026     }
    00027     namespace Utils {
    00028       namespace Containers {
    00029         class IntegerArray;
    00030       }
    00031     }
    00032     namespace Solvers {
    00033       namespace SAT {
    00034         namespace GATSAT {
    00035           class GatsatFactory;
    00036           class NUGatsatFactory;
    00037           class GATSAT;
    00038         }
    00039       }
    00040     }
    00041   }
    00042
    00044
    00045 #line 46 "TestSuiteParser.hpp"
    00046 ANTLR_BEGIN_NAMESPACE(Mers)
    00047 ANTLR_BEGIN_NAMESPACE(Solvers)
    00048 ANTLR_BEGIN_NAMESPACE(SAT)
    00049 ANTLR_BEGIN_NAMESPACE(GATSAT)
    00050 #line 1 "TestSuite.g"
    00051
    00053 //
    00054 // Copyright (c) 2004           Model-based Embedded and Robotic Systems Group
    00055 // All Rights Reserved          Massachusetts Institute of Technology
    00056 //
    00057 // This software is provided as is. Model-based Embedded and Robotic Systems
    00058 // (MERS) group does not assume any responsibility.
    00059 //
    00061
    00062 #line 59 "TestSuiteParser.hpp"
    00063 class CUSTOM_API TestSuiteParser : public ANTLR_USE_NAMESPACE(antlr)LLkParser, public TestSuiteParserTokenTypes
    00064 {
    00065 #line 1 "TestSuite.g"
    00066 #line 63 "TestSuiteParser.hpp"
    00067 public:
    00068         void initializeASTFactory( ANTLR_USE_NAMESPACE(antlr)ASTFactory& factory );
    00069 protected:
    00070         TestSuiteParser(ANTLR_USE_NAMESPACE(antlr)TokenBuffer& tokenBuf, int k);
    00071 public:
    00072         TestSuiteParser(ANTLR_USE_NAMESPACE(antlr)TokenBuffer& tokenBuf);
    00073 protected:
    00074         TestSuiteParser(ANTLR_USE_NAMESPACE(antlr)TokenStream& lexer, int k);
    00075 public:
    00076         TestSuiteParser(ANTLR_USE_NAMESPACE(antlr)TokenStream& lexer);
    00077         TestSuiteParser(const ANTLR_USE_NAMESPACE(antlr)ParserSharedInputState& state);
    00078         int getNumTokens() const
    00079         {
    00080                 return TestSuiteParser::NUM_TOKENS;
    00081         }
    00082         const char* getTokenName( int type ) const
    00083         {
    00084                 if( type > getNumTokens() ) return 0;
    00085                 return TestSuiteParser::tokenNames[type];
    00086         }
    00087         const char* const* getTokenNames() const
    00088         {
    00089                 return TestSuiteParser::tokenNames;
    00090         }
    00091         public: void startProbTests(
    00092                 Mers::Solvers::SAT::GATSAT::NUGatsatFactory &gtFactory
    00093         );
    00094         public: void probTest(
    00095                 Mers::Solvers::SAT::GATSAT::NUGatsatFactory &gtFactory
    00096         );
    00097         public: std::string  testHeader();
    00098         public: void search();
    00099         public: void variablesWithProbs(
    00100                 Mers::Models::Base::BaseModel &bm,
    00101                   Mers::Utils::Containers::IntegerArray &probMap,
    00102                   std::vector<double> &probs
    00103         );
    00104         public: void nonSearch();
    00105         public: void variables(
    00106                 Mers::Models::Base::BaseModel &bm
    00107         );
    00108         public: void cons();
    00109         public: Mers::Models::Base::BaseModelSentence *  constraints(
    00110                 Mers::Models::Base::BaseModel &bm
    00111         );
    00112         public: void startTests(
    00113                 Mers::Solvers::SAT::GATSAT::GatsatFactory &gtFactory
    00114         );
    00115         public: void test(
    00116                 Mers::Solvers::SAT::GATSAT::GatsatFactory &gtFactory
    00117         );
    00118         public: void variableWithProbs(
    00119                 Mers::Models::Base::BaseModel &bm,
    00120                  Mers::Utils::Containers::IntegerArray &probMap,
    00121                  std::vector<double> &probs
    00122         );
    00123         public: void variable(
    00124                 Mers::Models::Base::BaseModel &bm
    00125         );
    00126         public: Mers::Models::Base::BaseModelClause *  constraint(
    00127                 Mers::Models::Base::BaseModel &bm
    00128         );
    00129         public: Mers::Models::Base::BaseModelAssignment *  literal(
    00130                 Mers::Models::Base::BaseModel &bm
    00131         );
    00132 public:
    00133         ANTLR_USE_NAMESPACE(antlr)RefAST getAST()
    00134         {
    00135                 return returnAST;
    00136         }
    00137
    00138 protected:
    00139         ANTLR_USE_NAMESPACE(antlr)RefAST returnAST;
    00140 private:
    00141         static const char* tokenNames[];
    00142 #ifndef NO_STATIC_CONSTS
    00143         static const int NUM_TOKENS = 18;
    00144 #else
    00145         enum {
    00146                 NUM_TOKENS = 18
    00147         };
    00148 #endif
    00149
    00150         static const unsigned long _tokenSet_0_data_[];
    00151         static const ANTLR_USE_NAMESPACE(antlr)BitSet _tokenSet_0;
    00152         static const unsigned long _tokenSet_1_data_[];
    00153         static const ANTLR_USE_NAMESPACE(antlr)BitSet _tokenSet_1;
    00154         static const unsigned long _tokenSet_2_data_[];
    00155         static const ANTLR_USE_NAMESPACE(antlr)BitSet _tokenSet_2;
    00156         static const unsigned long _tokenSet_3_data_[];
    00157         static const ANTLR_USE_NAMESPACE(antlr)BitSet _tokenSet_3;
    00158         static const unsigned long _tokenSet_4_data_[];
    00159         static const ANTLR_USE_NAMESPACE(antlr)BitSet _tokenSet_4;
    00160         static const unsigned long _tokenSet_5_data_[];
    00161         static const ANTLR_USE_NAMESPACE(antlr)BitSet _tokenSet_5;
    00162         static const unsigned long _tokenSet_6_data_[];
    00163         static const ANTLR_USE_NAMESPACE(antlr)BitSet _tokenSet_6;
    00164         static const unsigned long _tokenSet_7_data_[];
    00165         static const ANTLR_USE_NAMESPACE(antlr)BitSet _tokenSet_7;
    00166         static const unsigned long _tokenSet_8_data_[];
    00167         static const ANTLR_USE_NAMESPACE(antlr)BitSet _tokenSet_8;
    00168         static const unsigned long _tokenSet_9_data_[];
    00169         static const ANTLR_USE_NAMESPACE(antlr)BitSet _tokenSet_9;
    00170 };
    00171
    00172 ANTLR_END_NAMESPACE
    00173 ANTLR_END_NAMESPACE
    00174 ANTLR_END_NAMESPACE
    00175 ANTLR_END_NAMESPACE
    00176 #endif /*INC_TestSuiteParser_hpp_*/