Generated on Fri Oct 19 11:26:06 2018 for Gecode by doxygen 1.6.3

Gecode::Int::BinPacking::SizeSetMinusOne Class Reference

Size sets with one element discarded. More...

#include <bin-packing.hh>

List of all members.

Public Member Functions

 SizeSetMinusOne (void)
 Default constructor.
 SizeSetMinusOne (Region &region, int n)
 Initialize for at most
n_max entries.
void minus (int s)
 Discard size s.
int card (void) const
 Return cardinality of set (number of entries).
int total (void) const
 Return total size.
int operator[] (int i) const
 Return size of item i.

Protected Attributes

int p
 Position of discarded item.

Detailed Description

Size sets with one element discarded.

Definition at line 111 of file bin-packing.hh.


Constructor & Destructor Documentation

Gecode::Int::BinPacking::SizeSetMinusOne::SizeSetMinusOne ( void   )  [inline]

Default constructor.

Definition at line 115 of file propagate.hpp.

Gecode::Int::BinPacking::SizeSetMinusOne::SizeSetMinusOne ( Region region,
int  n 
) [inline]

Initialize for at most
n_max entries.

Definition at line 117 of file propagate.hpp.


Member Function Documentation

void Gecode::Int::BinPacking::SizeSetMinusOne::minus ( int  s  )  [inline]

Discard size s.

Definition at line 120 of file propagate.hpp.

int Gecode::Int::BinPacking::SizeSetMinusOne::card ( void   )  const [inline]

Return cardinality of set (number of entries).

Reimplemented from Gecode::Int::BinPacking::SizeSet.

Definition at line 128 of file propagate.hpp.

int Gecode::Int::BinPacking::SizeSetMinusOne::total ( void   )  const [inline]

Return total size.

Reimplemented from Gecode::Int::BinPacking::SizeSet.

Definition at line 133 of file propagate.hpp.

int Gecode::Int::BinPacking::SizeSetMinusOne::operator[] ( int  i  )  const [inline]

Return size of item i.

Reimplemented from Gecode::Int::BinPacking::SizeSet.

Definition at line 138 of file propagate.hpp.


Member Data Documentation

Position of discarded item.

Definition at line 114 of file bin-packing.hh.


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