clingo_theory_value Struct Reference

A struct to hold values assigned by a theory. More...

#include <theory.h>

Public Attributes
clingo_theory_value_type_t	type
	The type of the value.
union {
int   int_number
	The integer value.
double   double_number
	The double value.
clingo_symbol_t   symbol
	The symbolic value.
};

Detailed Description

A struct to hold values assigned by a theory.

---

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

• clingo/theory.h