Generated on Tue Jul 18 2017 18:41:42 for Gecode by doxygen 1.8.13
Gecode::PropCost Class Reference

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) More...
 
static PropCost crazy (PropCost::Mod m, unsigned int n)
 Exponential complexity for modifier m and size measure n. More...
 
static PropCost crazy (PropCost::Mod m, int n)
 Exponential complexity for modifier m and size measure n. More...
 
static PropCost cubic (PropCost::Mod m, unsigned int n)
 Cubic complexity for modifier m and size measure n. More...
 
static PropCost cubic (PropCost::Mod m, int n)
 Cubic complexity for modifier m and size measure n. More...
 
static PropCost quadratic (PropCost::Mod m, unsigned int n)
 Quadratic complexity for modifier m and size measure n. More...
 
static PropCost quadratic (PropCost::Mod m, int n)
 Quadratic complexity for modifier m and size measure n. More...
 
static PropCost linear (PropCost::Mod m, unsigned int n)
 Linear complexity for modifier pcm and size measure n. More...
 
static PropCost linear (PropCost::Mod m, int n)
 Linear complexity for modifier pcm and size measure n. More...
 
static PropCost ternary (PropCost::Mod m)
 Three variables for modifier pcm. More...
 
static PropCost binary (PropCost::Mod m)
 Two variables for modifier pcm. More...
 
static PropCost unary (PropCost::Mod m)
 Single variable for modifier pcm. More...
 

Public Attributes

ActualCost ac
 Actual cost. More...
 

Detailed Description

Propagation cost.

Definition at line 554 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 558 of file core.hpp.

◆ Mod

Propagation cost modifier.

Enumerator
LO 

Cheap.

HI 

Expensive.

Definition at line 580 of file core.hpp.

Member Function Documentation

◆ record()

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

For recording information (no propagation allowed)

Definition at line 4810 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 4814 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 4818 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 4823 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 4827 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 4832 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 4836 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 4841 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 4845 of file core.hpp.

◆ ternary()

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

Three variables for modifier pcm.

Definition at line 4850 of file core.hpp.

◆ binary()

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

Two variables for modifier pcm.

Definition at line 4854 of file core.hpp.

◆ unary()

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

Single variable for modifier pcm.

Definition at line 4858 of file core.hpp.

Member Data Documentation

◆ ac

ActualCost Gecode::PropCost::ac

Actual cost.

Definition at line 577 of file core.hpp.


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