/Users/jamian/Desktop/gecode-2.0.1/contribs/qecode/implicative.hh

Go to the documentation of this file.

/*****************************************************************[implicative.hh]
Copyright (c) 2007, Universite d'Orleans - Jeremie Vautard, Marco Benedetti,
Arnaud Lallouet.

Permission is hereby granted, free of charge, to any person obtaining a copy
of this software and associated documentation files (the "Software"), to deal
in the Software without restriction, including without limitation the rights
to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
copies of the Software, and to permit persons to whom the Software is
furnished to do so, subject to the following conditions:

The above copyright notice and this permission notice shall be included in
all copies or substantial portions of the Software.

THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
THE SOFTWARE.
*****************************************************************************/
#ifndef __QECODE_IMPLICATIVE__
#define __QECODE_IMPLICATIVE__
#include "qecode.hh"
#include <iostream>
#include <cstdlib>
#include "gecode/minimodel.hh"
#include "warner.hh"
#include "qecore.hh"
#include "myspace.hh"

using namespace Gecode;
using namespace std;
using namespace Gecode::Int;


class QECODE_VTABLE_EXPORT Implicative : public QSpace {
    friend class valueHeuristic;

protected : 
  bool* q;                
  int nbSpaces;           
  int currentDeclareSpace;
  int* nbVarBySpace;      
  int* whichSpaceOwns;    
  MySpace** rules;        
  MySpace* goal;          
  bool* varInitialised;   
  bool* ruleDefined;      
  int* ruleStatus;        
  bool goalDefined;       
  int goalStatus;         
  Warner* w;
  int prop_power;         

  int cascade(int firstSpace, unsigned long int& propsteps);

public : 

  QECODE_EXPORT Implicative(int ns,bool firstQ,int* nv); 

  QECODE_EXPORT Implicative(Implicative& im);

  QECODE_EXPORT virtual ~Implicative();

  QECODE_EXPORT int spaces();

  QECODE_EXPORT void QIntVar(int var,int min,int max);

  QECODE_EXPORT void QIntVar(int var,IntSet dom);

  QECODE_EXPORT void QBoolVar(int var,int min, int max);

  QECODE_EXPORT void QBoolVar(int var) {QBoolVar(var,0,1);}


//  /** \brief Returns one of the restrictor space.
//   * Returns one of the restrictor space. Deprecated : use space() and nextScope instead for constraint posting.
//   *  @param sp the number of the restrictor to get (first restrictor is 0).
//   */
//  MySpace* getRuleSpace(int sp);
//
//
//  /** \brief Returns the goal space.
//   *  Returns the goal space. Deprecated : use space() and nextScope instead for constraint posting.
//   */
//  MySpace* getGoalSpace();

  
  QECODE_EXPORT MySpace* space();


  QECODE_EXPORT IntVar var(int n); 


  QECODE_EXPORT BoolVar bvar(int n); 



  QECODE_EXPORT int nextScope();


  QECODE_EXPORT void makeStructure();

  QECODE_EXPORT virtual void print();
      
      
  QECODE_EXPORT virtual bool quantification(int v);
  QECODE_EXPORT virtual int status(int var,unsigned long int& propsteps);
  QECODE_EXPORT virtual int finalStatus(unsigned long int& propsteps);
  QECODE_EXPORT virtual bool subsumed(int var);
  QECODE_EXPORT virtual Implicative* clone(); 
  QECODE_EXPORT virtual void assign_int(int var,int** vals,int nbVals);
  QECODE_EXPORT virtual void remove_int(int var,int** vals,int nbVals);
  QECODE_EXPORT virtual void assign_bool(int var,int** vals,int nbVals);
  QECODE_EXPORT virtual void remove_bool(int var,int** vals,int nbVals);
  QECODE_EXPORT virtual void assign_bool(int var,int b);
  QECODE_EXPORT virtual void remove_bool(int var,int b);
//  virtual void infEqual(int var,int val);
//  virtual void sup(int var,int val);
  QECODE_EXPORT virtual void backtrack();
  QECODE_EXPORT virtual void indicateBranchingHeuristic(BranchingHeuristic* bh);
};


#endif

---