00001 /**** , [ StrategyNode.hh ], 00002 Copyright (c) 2008 Universite d'Orleans - Jeremie Vautard 00003 00004 Permission is hereby granted, free of charge, to any person obtaining a copy 00005 of this software and associated documentation files (the "Software"), to deal 00006 in the Software without restriction, including without limitation the rights 00007 to use, copy, modify, merge, publish, distribute, sublicense, and/or sell 00008 copies of the Software, and to permit persons to whom the Software is 00009 furnished to do so, subject to the following conditions: 00010 00011 The above copyright notice and this permission notice shall be included in 00012 all copies or substantial portions of the Software. 00013 00014 THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR 00015 IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, 00016 FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE 00017 AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER 00018 LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, 00019 OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN 00020 THE SOFTWARE. 00021 *************************************************************************/ 00022 #ifndef __QECODE_STRATEGY_NODE__ 00023 #define __QECODE_STRATEGY_NODE__ 00024 #include "qecode.hh" 00025 #include <iostream> 00026 #include <vector> 00027 using namespace std; 00028 class QECODE_VTABLE_EXPORT StrategyNode { 00029 public: 00030 int type; // 0 = dummy, 1 = empty, 2 = normal. 00031 bool quantifier; 00032 int Vmin; 00033 int Vmax; 00034 int scope; 00035 vector<int> valeurs; 00036 00037 QECODE_EXPORT StrategyNode(); 00038 QECODE_EXPORT StrategyNode(int type,bool qt,int Vmin, int Vmax, int scope); 00039 QECODE_EXPORT ~StrategyNode(); 00040 QECODE_EXPORT static StrategyNode STrue() { return StrategyNode(1,true,-1,-1,-1);} 00041 QECODE_EXPORT static StrategyNode SFalse() { return StrategyNode(1,false,-1,-1,-1);} 00042 QECODE_EXPORT static StrategyNode Dummy() { return StrategyNode(0,true,-1,-1,-1);} 00043 QECODE_EXPORT bool isFalse() { return ( (type==1) && (quantifier == false) );} 00044 QECODE_EXPORT bool isTrue() { return ( (type==1) && (quantifier == true) );} 00045 QECODE_EXPORT bool isDummy() { return (type==0);} 00046 }; 00047 #endif