#ifndef CPT_ENTRY_H #define CPT_ENTRY_H #include using namespace std; class CptEntry { public: // constructs CptEntry (int, vector); // methods int getCptIndex (void) const; vector getDomainInstantiations (void) const; bool matchConstraints (const vector >&) const; private: // members int cptIndex_; vector instantiations_; }; #endif // CPT_ENTRY_H