Generated on Thu Mar 16 2017 03:24:29 for Gecode by doxygen 1.8.13

Trace delta information for set variables. More...

#include <set.hh>

Classes

class  Glb
 
class  Lub
 

Public Member Functions

name Constructor Initialize with old trace view a new view a and delta aSetTraceDelta (Set::SetTraceView o, Set::SetView n, const Delta &d)
 

Public Attributes

Glb _glb
 
Lub _lub
 
name Constructor Initialize with old trace view a o
 
name Constructor Initialize with old trace view a new view a n
 
name Access to delta iterators Give access to iterator for delta in greatest lower bound (values that have been included) Glb &glb(void)
 
Give access iterator for delta in leat bound (values that have been removed) Lub &lub(void)
 

Detailed Description

Trace delta information for set variables.

Definition at line 1642 of file set.hh.

Member Function Documentation

◆ bound() [1/2]

name Access to delta iterators Give access to iterator for delta in greatest lower Gecode::SetTraceDelta::bound ( values that have been  included) &

◆ bound() [2/2]

Give access iterator for delta in leat Gecode::SetTraceDelta::bound ( values that have been  removed) &

Member Data Documentation

◆ _glb

Glb Gecode::SetTraceDelta::_glb

Definition at line 1662 of file set.hh.

◆ _lub

Lub Gecode::SetTraceDelta::_lub

Definition at line 1679 of file set.hh.


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