clingo
|
#include <value.hh>
Public Member Functions | |
operator Value & () | |
operator Value const & () const | |
Value * | operator-> () |
Value const * | operator-> () const |
Public Attributes | |
unsigned | type |
unsigned | value |
|
inline |
|
inline |
|
inline |
|
inline |
unsigned Gringo::Value::POD::type |
unsigned Gringo::Value::POD::value |