Home
last modified time | relevance | path

Searched refs:clingo_symbol_type_string (Results 1 – 7 of 7) sorted by relevance

/dports/math/clingo/clingo-5.5.1/libpyclingo/clingo/
H A Dsymbol.py50 String = _lib.clingo_symbol_type_string
/dports/math/clingo/clingo-5.5.1/libclingo/
H A Dclingo.h319 clingo_symbol_type_string = 4, //!< a string symbol, e.g., `"a"` enumerator
H A Dclingo.hh582 String = clingo_symbol_type_string,
/dports/math/clingo/clingo-5.5.1/libluaclingo/
H A Dluaclingo.cc899 …for (auto t : {clingo_symbol_type_number, clingo_symbol_type_string, clingo_symbol_type_function, … in addToRegistry()
909 case clingo_symbol_type_string: { return "String"; } in field_()
1015 if (clingo_symbol_type(self.symbol) == clingo_symbol_type_string) { in string()
/dports/math/clingo/clingo-5.5.1/libpyclingo/
H A D_clingo.cdef60 clingo_symbol_type_string = 4, //!< a string symbol, e.g., `"a"`
H A D_clingo.c3970 int n = (clingo_symbol_type_string) <= 0; in _cffi_const_clingo_symbol_type_string()
3971 …*o = (unsigned long long)((clingo_symbol_type_string) | 0); /* check that clingo_symbol_type_stri… in _cffi_const_clingo_symbol_type_string()
/dports/math/clingo/clingo-5.5.1/app/pyclingo/
H A D_clingo.c3199 int n = (clingo_symbol_type_string) <= 0; in _cffi_const_clingo_symbol_type_string()
3200 …*o = (unsigned long long)((clingo_symbol_type_string) | 0); /* check that clingo_symbol_type_stri… in _cffi_const_clingo_symbol_type_string()