Propagation cost.
More...
#include <core.hpp>
List of all members.
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.
|
Detailed Description
Propagation cost.
Definition at line 525 of file core.hpp.
Member Enumeration Documentation
The actual cost values that are used.
- Enumerator:
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 529 of file core.hpp.
Propagation cost modifier.
- Enumerator:
-
Definition at line 550 of file core.hpp.
Member Function Documentation
Exponential complexity for modifier m and size measure n.
Definition at line 3467 of file core.hpp.
Exponential complexity for modifier m and size measure n.
Definition at line 3471 of file core.hpp.
Cubic complexity for modifier m and size measure n.
Definition at line 3476 of file core.hpp.
Cubic complexity for modifier m and size measure n.
Definition at line 3480 of file core.hpp.
Quadratic complexity for modifier m and size measure n.
Definition at line 3485 of file core.hpp.
Quadratic complexity for modifier m and size measure n.
Definition at line 3489 of file core.hpp.
Linear complexity for modifier pcm and size measure n.
Definition at line 3494 of file core.hpp.
Linear complexity for modifier pcm and size measure n.
Definition at line 3498 of file core.hpp.
Three variables for modifier pcm.
Definition at line 3503 of file core.hpp.
Two variables for modifier pcm.
Definition at line 3507 of file core.hpp.
Single variable for modifier pcm.
Definition at line 3511 of file core.hpp.
Member Data Documentation
The documentation for this class was generated from the following file: