Generated on Wed Nov 5 2014 05:18:42 for Gecode by doxygen 1.7.6.1
Gecode::Int::Branch::PosValuesChoice Class Reference

Choice storing position and values for integer views More...

#include <view-values.hpp>

List of all members.

Public Member Functions

 PosValuesChoice (const Brancher &b, const Pos &p, IntView x)
 Initialize choice for brancher b, position p, and view x.
 PosValuesChoice (const Brancher &b, unsigned int alt, Pos p, Archive &e)
 Initialize choice for brancher b from archive e.
int val (unsigned int a) const
 Return value to branch with for alternative a.
virtual size_t size (void) const
 Report size occupied.
virtual ~PosValuesChoice (void)
 Deallocate.
virtual void archive (Archive &e) const
 Archive into e.

Detailed Description

Choice storing position and values for integer views

Definition at line 41 of file view-values.hpp.


Constructor & Destructor Documentation

Initialize choice for brancher b, position p, and view x.

Definition at line 42 of file view-values.cpp.

Gecode::Int::Branch::PosValuesChoice::PosValuesChoice ( const Brancher b,
unsigned int  alt,
Pos  p,
Archive e 
)

Initialize choice for brancher b from archive e.

Definition at line 57 of file view-values.cpp.

Deallocate.

Definition at line 73 of file view-values.cpp.


Member Function Documentation

int Gecode::Int::Branch::PosValuesChoice::val ( unsigned int  a) const [inline]

Return value to branch with for alternative a.

Definition at line 76 of file view-values.hpp.

size_t Gecode::Int::Branch::PosValuesChoice::size ( void  ) const [virtual]

Report size occupied.

Reimplemented from Gecode::PosChoice.

Definition at line 69 of file view-values.cpp.

void Gecode::Int::Branch::PosValuesChoice::archive ( Archive e) const [inline, virtual]

Archive into e.

Reimplemented from Gecode::PosChoice.

Definition at line 78 of file view-values.cpp.


The documentation for this class was generated from the following files: