Generated on Thu Jan 16 2025 00:00:00 for Gecode by doxygen 1.14.0

Propagation cost. More...

#include <core.hpp>

Public Types

enum  ActualCost {
  AC_RECORD = 0 , AC_CRAZY_LO = 1 , AC_CRAZY_HI = 1 , AC_CUBIC_LO = 1 ,
  AC_CUBIC_HI = 1 , AC_QUADRATIC_LO = 2 , AC_QUADRATIC_HI = 2 , AC_LINEAR_HI = 3 ,
  AC_LINEAR_LO = 4 , AC_TERNARY_HI = 4 , AC_BINARY_HI = 5 , AC_TERNARY_LO = 5 ,
  AC_BINARY_LO = 6 , AC_UNARY_LO = 6 , AC_UNARY_HI = 6 , AC_MAX = 6
}
 The actual cost values that are used. More...
enum  Mod { LO , HI }
 Propagation cost modifier. More...

Static Public Member Functions

static PropCost record (void)
 For recording information (no propagation allowed)
static PropCost crazy (PropCost::Mod m, unsigned int n)
 Exponential complexity for modifier m and size measure n.
static PropCost crazy (PropCost::Mod m, int n)
 Exponential complexity for modifier m and size measure n.
static PropCost cubic (PropCost::Mod m, unsigned int n)
 Cubic complexity for modifier m and size measure n.
static PropCost cubic (PropCost::Mod m, int n)
 Cubic complexity for modifier m and size measure n.
static PropCost quadratic (PropCost::Mod m, unsigned int n)
 Quadratic complexity for modifier m and size measure n.
static PropCost quadratic (PropCost::Mod m, int n)
 Quadratic complexity for modifier m and size measure n.
static PropCost linear (PropCost::Mod m, unsigned int n)
 Linear complexity for modifier pcm and size measure n.
static PropCost linear (PropCost::Mod m, int n)
 Linear complexity for modifier pcm and size measure n.
static PropCost ternary (PropCost::Mod m)
 Three variables for modifier pcm.
static PropCost binary (PropCost::Mod m)
 Two variables for modifier pcm.
static PropCost unary (PropCost::Mod m)
 Single variable for modifier pcm.

Public Attributes

ActualCost ac
 Actual cost.

Detailed Description

Propagation cost.

Definition at line 486 of file core.hpp.

Member Enumeration Documentation

◆ ActualCost

The actual cost values that are used.

Enumerator
AC_RECORD 

Reserved for recording information.

AC_CRAZY_LO 

Exponential complexity, cheap.

AC_CRAZY_HI 

Exponential complexity, expensive.

AC_CUBIC_LO 

Cubic complexity, cheap.

AC_CUBIC_HI 

Cubic complexity, expensive.

AC_QUADRATIC_LO 

Quadratic complexity, cheap.

AC_QUADRATIC_HI 

Quadratic complexity, expensive.

AC_LINEAR_HI 

Linear complexity, expensive.

AC_LINEAR_LO 

Linear complexity, cheap.

AC_TERNARY_HI 

Three variables, expensive.

AC_BINARY_HI 

Two variables, expensive.

AC_TERNARY_LO 

Three variables, cheap.

AC_BINARY_LO 

Two variables, cheap.

AC_UNARY_LO 

Only single variable, cheap.

AC_UNARY_HI 

Only single variable, expensive.

AC_MAX 

Maximal cost value.

Definition at line 490 of file core.hpp.

◆ Mod

Propagation cost modifier.

Enumerator
LO 

Cheap.

HI 

Expensive.

Definition at line 512 of file core.hpp.

Member Function Documentation

◆ record()

PropCost Gecode::PropCost::record ( void )
inlinestatic

For recording information (no propagation allowed)

Definition at line 4772 of file core.hpp.

◆ crazy() [1/2]

PropCost Gecode::PropCost::crazy ( PropCost::Mod m,
unsigned int n )
inlinestatic

Exponential complexity for modifier m and size measure n.

Definition at line 4776 of file core.hpp.

◆ crazy() [2/2]

PropCost Gecode::PropCost::crazy ( PropCost::Mod m,
int n )
inlinestatic

Exponential complexity for modifier m and size measure n.

Definition at line 4780 of file core.hpp.

◆ cubic() [1/2]

PropCost Gecode::PropCost::cubic ( PropCost::Mod m,
unsigned int n )
inlinestatic

Cubic complexity for modifier m and size measure n.

Definition at line 4785 of file core.hpp.

◆ cubic() [2/2]

PropCost Gecode::PropCost::cubic ( PropCost::Mod m,
int n )
inlinestatic

Cubic complexity for modifier m and size measure n.

Definition at line 4789 of file core.hpp.

◆ quadratic() [1/2]

PropCost Gecode::PropCost::quadratic ( PropCost::Mod m,
unsigned int n )
inlinestatic

Quadratic complexity for modifier m and size measure n.

Definition at line 4794 of file core.hpp.

◆ quadratic() [2/2]

PropCost Gecode::PropCost::quadratic ( PropCost::Mod m,
int n )
inlinestatic

Quadratic complexity for modifier m and size measure n.

Definition at line 4798 of file core.hpp.

◆ linear() [1/2]

PropCost Gecode::PropCost::linear ( PropCost::Mod m,
unsigned int n )
inlinestatic

Linear complexity for modifier pcm and size measure n.

Definition at line 4803 of file core.hpp.

◆ linear() [2/2]

PropCost Gecode::PropCost::linear ( PropCost::Mod m,
int n )
inlinestatic

Linear complexity for modifier pcm and size measure n.

Definition at line 4807 of file core.hpp.

◆ ternary()

PropCost Gecode::PropCost::ternary ( PropCost::Mod m)
inlinestatic

Three variables for modifier pcm.

Definition at line 4812 of file core.hpp.

◆ binary()

PropCost Gecode::PropCost::binary ( PropCost::Mod m)
inlinestatic

Two variables for modifier pcm.

Definition at line 4816 of file core.hpp.

◆ unary()

PropCost Gecode::PropCost::unary ( PropCost::Mod m)
inlinestatic

Single variable for modifier pcm.

Definition at line 4820 of file core.hpp.

Member Data Documentation

◆ ac

ActualCost Gecode::PropCost::ac

Actual cost.

Definition at line 509 of file core.hpp.


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