|typedef unsigned long long ||Threshold|
| ||The type used to specify thresholds for computational weight. |
|typedef unsigned long long ||Delta|
| ||The type used to specify increments of computational weight. |
Static Public Member Functions
|static const Threshold & ||get ()|
| ||Returns the current computational weight. |
|static bool ||less_than (const Threshold &a, const Threshold &b)|
| ||Compares the two weights |
|static Delta ||compute_delta (unsigned long unscaled, unsigned scale)|
| ||Computes a |
Delta value from
|static void ||from_delta (Threshold &threshold, const Delta &delta)|
| ||Sets |
threshold to be
delta units bigger than the current weight.
Static Public Attributes
|static Threshold ||weight = 0|
| ||The current computational weight. |
|static void(* ||check_function )(void)|
| ||A pointer to the function that has to be called when checking the reaching of thresholds. |
Traits class for the deterministic timeout mechanism.
This abstract base class should be instantiated by those users willing to provide a polynomial upper bound to the time spent by any invocation of a library operator.
Definition at line 105 of file globals.defs.hh.