Generated on Mon Aug 25 11:35:45 2008 for Gecode by doxygen 1.5.6

var-imp.icc File Reference

(Revision: 6327)

#include <iostream>
#include "gecode/cpltset/var-imp/cpltset.icc"

Go to the source code of this file.

Namespaces

namespace  Gecode
namespace  Gecode::CpltSet

Classes

class  Gecode::CpltSet::GlbValues< T >
 Iterate the values in the greatest lower bound of a CpltSetvariable. More...
class  Gecode::CpltSet::LubValues< T >
 Iterate the values in the least upper bound of a bdd set variable. More...
class  Gecode::CpltSet::UnknownValues< T >
 Iterate the values lub-glb of a bdd set variable. More...
class  Gecode::CpltSet::CpltSetVarImp
 Finite integer set variable implementation using a complete domain representation. More...
class  Gecode::CpltSet::BddIterator
 Iterator for level-wise iteration over a given bdd. More...
class  Gecode::CpltSet::DomBddIterator
 Iterator for level-wise iteration of a variable domain. More...
class  Gecode::VarImpVarTraits< CpltSet::CpltSetVarImp >
 Traits class for variable implementations and variables. More...

Enumerations

enum  Gecode::CpltSet::NodeStatus {
  Gecode::CpltSet::INIT = -1, Gecode::CpltSet::FIX_GLB = 1, Gecode::CpltSet::FIX_NOT_LUB = 0, Gecode::CpltSet::FIX_UNKNOWN = 2,
  Gecode::CpltSet::UNDET = 5
}