Gecode::Int::Extensional::Incremental< View >::Work Class Reference
#include <extensional.hh>
Detailed Description
template<class View>
class Gecode::Int::Extensional::Incremental< View >::Work
Description of work to be done.
Definition at line 329 of file extensional.hh.
Public Member Functions | |
| Work (WorkType w0, int var0, int val0) | |
Public Attributes | |
| WorkType | work |
| int | var |
| int | val |
Constructor & Destructor Documentation
template<class View>
| Gecode::Int::Extensional::Incremental< View >::Work::Work | ( | WorkType | w0, | |
| int | var0, | |||
| int | val0 | |||
| ) | [inline] |
Definition at line 334 of file extensional.hh.
Member Data Documentation
template<class View>
| WorkType Gecode::Int::Extensional::Incremental< View >::Work::work |
Definition at line 331 of file extensional.hh.
template<class View>
| int Gecode::Int::Extensional::Incremental< View >::Work::var |
Definition at line 332 of file extensional.hh.
template<class View>
| int Gecode::Int::Extensional::Incremental< View >::Work::val |
Definition at line 333 of file extensional.hh.
The documentation for this class was generated from the following file:
- gecode/int/extensional.hh (Revision: 7285)