clingo
|
A (positive) numeric value. More...
#include <clasp_facade.h>
Public Types | |
enum | Error { error_none = 0, error_unknown_quantity = 1, error_ambiguous_quantity = 2, error_not_available = 3 } |
Public Member Functions | |
ExpectedQuantity (double d) | |
ExpectedQuantity (uint32 x) | |
ExpectedQuantity (uint64 x) | |
ExpectedQuantity (const void *x) | |
ExpectedQuantity (Error e) | |
bool | valid () const |
Error | error () const |
operator double () const | |
Public Attributes | |
double | rep |
A (positive) numeric value.
Clasp::ExpectedQuantity::ExpectedQuantity | ( | double | d | ) |
|
inline |
|
inline |
|
inlineexplicit |
Clasp::ExpectedQuantity::ExpectedQuantity | ( | Error | e | ) |
ExpectedQuantity::Error Clasp::ExpectedQuantity::error | ( | ) | const |
Clasp::ExpectedQuantity::operator double | ( | ) | const |
|
inline |
double Clasp::ExpectedQuantity::rep |