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

#include <value.hh>

Collaboration diagram for Gringo::Value:
Collaboration graph

Classes

struct  POD
 

Public Types

enum  Type : unsigned {
  INF, NUM, ID, STRING,
  FUNC, SPECIAL, SUP
}
 

Public Member Functions

 Value (const char *val, bool id=true)
 
 Value (std::string &&val, bool id=true)
 
 Value (FWString val, bool id=true)
 
 Value (int num)
 
 Value (bool inf)
 
 Value (ValVec const &val)
 
 Value (FWValVec val)
 
 Value (char const *name, ValVec const &val)
 
 Value (std::string &&name, ValVec const &val)
 
 Value (FWString name, FWValVec val)
 
 Value (Value a, Value b)
 
 Value ()
 
Type type () const
 
int num () const
 
FWString string () const
 
FWSignature sig () const
 
FWString name () const
 
FWValVec args () const
 
Value replace (IdValMap const &rep) const
 
size_t hash () const
 
bool operator== (Value const &other) const
 
bool less (Value const &other) const
 
bool operator!= (Value const &other) const
 
bool operator< (Value const &other) const
 
bool operator> (Value const &other) const
 
bool operator<= (Value const &other) const
 
bool operator>= (Value const &other) const
 
void print (std::ostream &out) const
 
 operator POD & ()
 
 operator POD const & () const
 

Static Public Attributes

static unsigned const typeBits = 4u
 
static unsigned const typeMask = 1u+2u+4u+8u
 

Member Enumeration Documentation

enum Gringo::Value::Type : unsigned
Enumerator
INF 
NUM 
ID 
STRING 
FUNC 
SPECIAL 
SUP 

Constructor & Destructor Documentation

Gringo::Value::Value ( const char *  val,
bool  id = true 
)
inline
Gringo::Value::Value ( std::string &&  val,
bool  id = true 
)
inline
Gringo::Value::Value ( FWString  val,
bool  id = true 
)
inline
Gringo::Value::Value ( int  num)
inline
Gringo::Value::Value ( bool  inf)
inline
Gringo::Value::Value ( ValVec const &  val)
inline
Gringo::Value::Value ( FWValVec  val)
inline
Gringo::Value::Value ( char const *  name,
ValVec const &  val 
)
inline
Gringo::Value::Value ( std::string &&  name,
ValVec const &  val 
)
inline
Gringo::Value::Value ( FWString  name,
FWValVec  val 
)
inline
Gringo::Value::Value ( Value  a,
Value  b 
)
Gringo::Value::Value ( )
inline

Member Function Documentation

FWValVec Gringo::Value::args ( ) const
inline

Here is the call graph for this function:

size_t Gringo::Value::hash ( ) const
inline

Here is the call graph for this function:

bool Gringo::Value::less ( Value const &  other) const
inline

Here is the call graph for this function:

FWString Gringo::Value::name ( ) const
inline

Here is the call graph for this function:

int Gringo::Value::num ( ) const
inline

Here is the call graph for this function:

Gringo::Value::operator Value::POD & ( )
inline
Gringo::Value::operator Value::POD const & ( ) const
inline
bool Gringo::Value::operator!= ( Value const &  other) const
inline
bool Gringo::Value::operator< ( Value const &  other) const
inline

Here is the call graph for this function:

bool Gringo::Value::operator<= ( Value const &  other) const
inline

Here is the call graph for this function:

bool Gringo::Value::operator== ( Value const &  other) const
inline
bool Gringo::Value::operator> ( Value const &  other) const
inline

Here is the call graph for this function:

bool Gringo::Value::operator>= ( Value const &  other) const
inline

Here is the call graph for this function:

void Gringo::Value::print ( std::ostream &  out) const
inline

Here is the call graph for this function:

Value Gringo::Value::replace ( IdValMap const &  rep) const
inline

Here is the call graph for this function:

FWSignature Gringo::Value::sig ( ) const
inline

Here is the call graph for this function:

FWString Gringo::Value::string ( ) const
inline

Here is the call graph for this function:

Value::Type Gringo::Value::type ( ) const
inline

Member Data Documentation

unsigned const Gringo::Value::typeBits = 4u
static
unsigned const Gringo::Value::typeMask = 1u+2u+4u+8u
static

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