Generated on Thu Mar 16 2017 03:24:29 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 550 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 554 of file core.hpp.

◆ Mod

Propagation cost modifier.

Enumerator
LO 

Cheap.

HI 

Expensive.

Definition at line 576 of file core.hpp.

Member Function Documentation

◆ record()

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

For recording information (no propagation allowed)

Definition at line 4546 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 4550 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 4554 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 4559 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 4563 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 4568 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 4572 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 4577 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 4581 of file core.hpp.

◆ ternary()

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

Three variables for modifier pcm.

Definition at line 4586 of file core.hpp.

◆ binary()

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

Two variables for modifier pcm.

Definition at line 4590 of file core.hpp.

◆ unary()

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

Single variable for modifier pcm.

Definition at line 4594 of file core.hpp.

Member Data Documentation

◆ ac

ActualCost Gecode::PropCost::ac

Actual cost.

Definition at line 573 of file core.hpp.


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