Generated on Tue Feb 11 2025 17:33:26 for Gecode by doxygen 1.12.0
Gecode::Int::GCC::CardConst Class Reference

Constant view containing lower and upper cardinality bounds. More...

#include <view.hpp>

Public Member Functions

IntView base (void) const
 Return used IntView (cannot be used)
 

Static Public Attributes

static const bool propagate = false
 This view does not require propagation.
 

Initialization

 CardConst (void)
 Default constructor.
 
void init (Space &home, int min, int max, int c)
 Initialize with min, max, and cardinality c.
 

Value access

int min (void) const
 Return minimum of domain.
 
int max (void) const
 Return maximum of domain.
 
int card (void) const
 Return cardinality.
 
int counter (void) const
 Return the number of times the value occurs.
 

Domain tests

Test whether view is assigned

bool assigned (void) const
 

Domain update by value

Set counter to n

void counter (int n)
 Increment counter.
 
ModEvent inc (void)
 Increment counter.
 
ModEvent lq (Space &home, int n)
 Restrict domain values to be less or equal than n.
 
ModEvent gq (Space &home, int n)
 Restrict domain values to be greater or equal than n.
 
ModEvent eq (Space &home, int n)
 Restrict domain values to be equal to n.
 

Dependencies

Subscribe propagator p with propagation condition pc to view

void subscribe (Space &home, Propagator &p, PropCond pc, bool process=true)
 Cancel subscription of propagator p with propagation condition pc to view.
 
void cancel (Space &home, Propagator &p, PropCond pc)
 Cancel subscription of propagator p with propagation condition pc to view.
 
void reschedule (Space &home, Propagator &p, PropCond pc)
 Schedule propagator p.
 

Cloning

Update this view to be a clone of view x

void update (Space &home, CardConst &x)
 

Detailed Description

Constant view containing lower and upper cardinality bounds.

Definition at line 65 of file view.hpp.

Constructor & Destructor Documentation

◆ CardConst()

Gecode::Int::GCC::CardConst::CardConst ( void )
inline

Default constructor.

Definition at line 215 of file view.hpp.

Member Function Documentation

◆ init()

void Gecode::Int::GCC::CardConst::init ( Space & home,
int min,
int max,
int c )
inline

Initialize with min, max, and cardinality c.

Definition at line 217 of file view.hpp.

◆ min()

int Gecode::Int::GCC::CardConst::min ( void ) const
inline

Return minimum of domain.

Definition at line 222 of file view.hpp.

◆ max()

int Gecode::Int::GCC::CardConst::max ( void ) const
inline

Return maximum of domain.

Definition at line 226 of file view.hpp.

◆ card()

int Gecode::Int::GCC::CardConst::card ( void ) const
inline

Return cardinality.

Definition at line 230 of file view.hpp.

◆ counter() [1/2]

int Gecode::Int::GCC::CardConst::counter ( void ) const
inline

Return the number of times the value occurs.

Definition at line 234 of file view.hpp.

◆ assigned()

bool Gecode::Int::GCC::CardConst::assigned ( void ) const
inline

Definition at line 238 of file view.hpp.

◆ counter() [2/2]

void Gecode::Int::GCC::CardConst::counter ( int n)
inline

Increment counter.

Definition at line 244 of file view.hpp.

◆ inc()

ModEvent Gecode::Int::GCC::CardConst::inc ( void )
inline

Increment counter.

Definition at line 248 of file view.hpp.

◆ lq()

ModEvent Gecode::Int::GCC::CardConst::lq ( Space & home,
int n )
inline

Restrict domain values to be less or equal than n.

Definition at line 254 of file view.hpp.

◆ gq()

ModEvent Gecode::Int::GCC::CardConst::gq ( Space & home,
int n )
inline

Restrict domain values to be greater or equal than n.

Definition at line 260 of file view.hpp.

◆ eq()

ModEvent Gecode::Int::GCC::CardConst::eq ( Space & home,
int n )
inline

Restrict domain values to be equal to n.

Definition at line 266 of file view.hpp.

◆ subscribe()

void Gecode::Int::GCC::CardConst::subscribe ( Space & home,
Propagator & p,
PropCond pc,
bool process = true )
inline

Cancel subscription of propagator p with propagation condition pc to view.

Definition at line 273 of file view.hpp.

◆ cancel()

void Gecode::Int::GCC::CardConst::cancel ( Space & home,
Propagator & p,
PropCond pc )
inline

Cancel subscription of propagator p with propagation condition pc to view.

Definition at line 275 of file view.hpp.

◆ reschedule()

void Gecode::Int::GCC::CardConst::reschedule ( Space & home,
Propagator & p,
PropCond pc )
inline

Schedule propagator p.

Definition at line 277 of file view.hpp.

◆ update()

void Gecode::Int::GCC::CardConst::update ( Space & home,
CardConst & x )
inline

Definition at line 280 of file view.hpp.

◆ base()

IntView Gecode::Int::GCC::CardConst::base ( void ) const
inline

Return used IntView (cannot be used)

Definition at line 285 of file view.hpp.

Member Data Documentation

◆ propagate

const bool Gecode::Int::GCC::CardConst::propagate = false
static

This view does not require propagation.

Definition at line 77 of file view.hpp.


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