Generated on Thu Apr 11 13:59:45 2019 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 486 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 490 of file core.hpp.

Propagation cost modifier.

Enumerator:
LO 

Cheap.

HI 

Expensive.

Definition at line 512 of file core.hpp.


Member Function Documentation

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

For recording information (no propagation allowed).

Definition at line 4765 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 4769 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 4773 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 4778 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 4782 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 4787 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 4791 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 4796 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 4800 of file core.hpp.

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

Three variables for modifier pcm.

Definition at line 4805 of file core.hpp.

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

Two variables for modifier pcm.

Definition at line 4809 of file core.hpp.

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

Single variable for modifier pcm.

Definition at line 4813 of file core.hpp.


Member Data Documentation

Actual cost.

Definition at line 509 of file core.hpp.


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