Searched refs:clingo_symbol_type_number (Results 1 – 7 of 7) sorted by relevance
/dports/math/clingo/clingo-5.5.1/libpyclingo/clingo/ |
H A D | symbol.py | 46 Number = _lib.clingo_symbol_type_number
|
/dports/math/clingo/clingo-5.5.1/libclingo/ |
H A D | clingo.h | 318 clingo_symbol_type_number = 1, //!< a numeric symbol, e.g., `1` enumerator
|
H A D | clingo.hh | 581 Number = clingo_symbol_type_number,
|
/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() 908 case clingo_symbol_type_number: { return "Number"; } in field_() 1025 if (clingo_symbol_type(self.symbol) == clingo_symbol_type_number) { in number()
|
/dports/math/clingo/clingo-5.5.1/libpyclingo/ |
H A D | _clingo.cdef | 59 clingo_symbol_type_number = 1, //!< a numeric symbol, e.g., `1`
|
H A D | _clingo.c | 3963 int n = (clingo_symbol_type_number) <= 0; in _cffi_const_clingo_symbol_type_number() 3964 …*o = (unsigned long long)((clingo_symbol_type_number) | 0); /* check that clingo_symbol_type_numb… in _cffi_const_clingo_symbol_type_number()
|
/dports/math/clingo/clingo-5.5.1/app/pyclingo/ |
H A D | _clingo.c | 3192 int n = (clingo_symbol_type_number) <= 0; in _cffi_const_clingo_symbol_type_number() 3193 …*o = (unsigned long long)((clingo_symbol_type_number) | 0); /* check that clingo_symbol_type_numb… in _cffi_const_clingo_symbol_type_number()
|