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

Class for defining advanced propagation level. More...

#include <task.hh>

Static Public Attributes

static const bool basic = false
 Perform basic propagation.
 
static const bool advanced = true
 Do not perform advanced propagation.
 
static const PropCond pc = PC_INT_BND
 For basic propagation, domain operations are needed.
 

Detailed Description

Class for defining advanced propagation level.

Definition at line 461 of file task.hh.

Member Data Documentation

◆ basic

const bool Gecode::Int::PLA::basic = false
static

Perform basic propagation.

Definition at line 464 of file task.hh.

◆ advanced

const bool Gecode::Int::PLA::advanced = true
static

Do not perform advanced propagation.

Definition at line 466 of file task.hh.

◆ pc

const PropCond Gecode::Int::PLA::pc = PC_INT_BND
static

For basic propagation, domain operations are needed.

Definition at line 468 of file task.hh.


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