Generated on Tue Apr 18 10:23:15 2017 for Gecode by doxygen 1.6.3

Gecode::PropCost Class Reference
[Programming actors]

Propagation cost. More...

#include <core.hpp>

List of all members.

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 554 of file core.hpp.


Member Enumeration Documentation

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.

Propagation cost modifier.

Enumerator:
LO 

Cheap.

HI 

Expensive.

Definition at line 580 of file core.hpp.


Member Function Documentation

PropCost Gecode::PropCost::record ( void   )  [inline, static]

For recording information (no propagation allowed).

Definition at line 4810 of file core.hpp.

PropCost Gecode::PropCost::crazy ( PropCost::Mod  m,
unsigned int  n 
) [inline, static]

Exponential complexity for modifier m and size measure n.

Definition at line 4814 of file core.hpp.

PropCost Gecode::PropCost::crazy ( PropCost::Mod  m,
int  n 
) [inline, static]

Exponential complexity for modifier m and size measure n.

Definition at line 4818 of file core.hpp.

PropCost Gecode::PropCost::cubic ( PropCost::Mod  m,
unsigned int  n 
) [inline, static]

Cubic complexity for modifier m and size measure n.

Definition at line 4823 of file core.hpp.

PropCost Gecode::PropCost::cubic ( PropCost::Mod  m,
int  n 
) [inline, static]

Cubic complexity for modifier m and size measure n.

Definition at line 4827 of file core.hpp.

PropCost Gecode::PropCost::quadratic ( PropCost::Mod  m,
unsigned int  n 
) [inline, static]

Quadratic complexity for modifier m and size measure n.

Definition at line 4832 of file core.hpp.

PropCost Gecode::PropCost::quadratic ( PropCost::Mod  m,
int  n 
) [inline, static]

Quadratic complexity for modifier m and size measure n.

Definition at line 4836 of file core.hpp.

PropCost Gecode::PropCost::linear ( PropCost::Mod  m,
unsigned int  n 
) [inline, static]

Linear complexity for modifier pcm and size measure n.

Definition at line 4841 of file core.hpp.

PropCost Gecode::PropCost::linear ( PropCost::Mod  m,
int  n 
) [inline, static]

Linear complexity for modifier pcm and size measure n.

Definition at line 4845 of file core.hpp.

PropCost Gecode::PropCost::ternary ( PropCost::Mod  m  )  [inline, static]

Three variables for modifier pcm.

Definition at line 4850 of file core.hpp.

PropCost Gecode::PropCost::binary ( PropCost::Mod  m  )  [inline, static]

Two variables for modifier pcm.

Definition at line 4854 of file core.hpp.

PropCost Gecode::PropCost::unary ( PropCost::Mod  m  )  [inline, static]

Single variable for modifier pcm.

Definition at line 4858 of file core.hpp.


Member Data Documentation

Actual cost.

Definition at line 577 of file core.hpp.


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