Public Types |
enum | ActualCost {
AC_CRAZY_LO = 0,
AC_CRAZY_HI = 0,
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 | 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.
|
Propagation cost.
Definition at line 537 of file core.hpp.