Generated on for Gecode by doxygen 1.17.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

Spaceh
 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: