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 D | symbol.py | 50 String = _lib.clingo_symbol_type_string
|
/dports/math/clingo/clingo-5.5.1/libclingo/ |
H A D | clingo.h | 319 clingo_symbol_type_string = 4, //!< a string symbol, e.g., `"a"` enumerator
|
H A D | clingo.hh | 582 String = clingo_symbol_type_string,
|
/dports/math/clingo/clingo-5.5.1/libluaclingo/ |
H A D | luaclingo.cc | 899 …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.cdef | 60 clingo_symbol_type_string = 4, //!< a string symbol, e.g., `"a"`
|
H A D | _clingo.c | 3970 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.c | 3199 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()
|