Generated on for Gecode by doxygen 1.15.0

Class to set group information when a post function is executed. More...

#include <gecode/kernel/core.hpp>

Public Member Functions

 PostInfo (Home home)
 Set information.
 ~PostInfo (void)
 Reset information.

Protected Attributes

Space & h
 The home space.
PropagatorGroup pg
 The propagator group.
unsigned int pid
 Next free propagator id.
bool nested
 Whether it is used nested.

Detailed Description

Class to set group information when a post function is executed.

Definition at line 957 of file core.hpp.

Constructor & Destructor Documentation

◆ PostInfo()

Gecode::PostInfo::PostInfo ( Home home)
inline

Set information.

Definition at line 3465 of file core.hpp.

◆ ~PostInfo()

Gecode::PostInfo::~PostInfo ( void )
inline

Reset information.

Definition at line 3473 of file core.hpp.

Member Data Documentation

◆ h

Space& Gecode::PostInfo::h
protected

The home space.

Definition at line 961 of file core.hpp.

◆ pg

PropagatorGroup Gecode::PostInfo::pg
protected

The propagator group.

Definition at line 963 of file core.hpp.

◆ pid

unsigned int Gecode::PostInfo::pid
protected

Next free propagator id.

Definition at line 965 of file core.hpp.

◆ nested

bool Gecode::PostInfo::nested
protected

Whether it is used nested.

Definition at line 967 of file core.hpp.


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