clingo
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Groups
Public Types | Public Member Functions | Public Attributes | List of all members
Clasp::ExpectedQuantity Struct Reference

A (positive) numeric value. More...

#include <clasp_facade.h>

Collaboration diagram for Clasp::ExpectedQuantity:
Collaboration graph

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
 

Detailed Description

A (positive) numeric value.

Member Enumeration Documentation

Enumerator
error_none 
error_unknown_quantity 
error_ambiguous_quantity 
error_not_available 

Constructor & Destructor Documentation

Clasp::ExpectedQuantity::ExpectedQuantity ( double  d)
Clasp::ExpectedQuantity::ExpectedQuantity ( uint32  x)
inline
Clasp::ExpectedQuantity::ExpectedQuantity ( uint64  x)
inline
Clasp::ExpectedQuantity::ExpectedQuantity ( const void *  x)
inlineexplicit
Clasp::ExpectedQuantity::ExpectedQuantity ( Error  e)

Member Function Documentation

ExpectedQuantity::Error Clasp::ExpectedQuantity::error ( ) const
Clasp::ExpectedQuantity::operator double ( ) const
bool Clasp::ExpectedQuantity::valid ( ) const
inline

Here is the call graph for this function:

Member Data Documentation

double Clasp::ExpectedQuantity::rep

The documentation for this struct was generated from the following files: