Home
last modified time | relevance | path

Searched refs:clingo_warning_operation_undefined (Results 1 – 8 of 8) sorted by relevance

/dports/math/clingo/clingo-5.5.1/libpyclingo/clingo/
H A Dcore.py38 OperationUndefined = _lib.clingo_warning_operation_undefined
/dports/math/clingo/clingo-5.5.1/libclingo/
H A Dclingo.h167 … clingo_warning_operation_undefined = 0, //!< undefined arithmetic operation or weight of aggregate enumerator
H A Dclingo.hh1751 OperationUndefined = clingo_warning_operation_undefined,
/dports/math/clingo/clingo-5.5.1/libluaclingo/
H A Dluaclingo.cc3267 …for (auto t : {clingo_warning_operation_undefined, clingo_warning_runtime_error, clingo_warning_at… in addToRegistry()
3276 case clingo_warning_operation_undefined: { return "OperationUndefined"; } in field_()
/dports/math/clingo/clingo-5.5.1/libpyclingo/
H A D_clingo.cdef22 clingo_warning_operation_undefined = 0, //!< undefined arithmetic operation or weight of aggregate
H A D_clingo.c4054 int n = (clingo_warning_operation_undefined) <= 0; in _cffi_const_clingo_warning_operation_undefined()
4055 …*o = (unsigned long long)((clingo_warning_operation_undefined) | 0); /* check that clingo_warning… in _cffi_const_clingo_warning_operation_undefined()
/dports/math/clingo/clingo-5.5.1/libclingo/src/
H A Dcontrol.cc212 case clingo_warning_operation_undefined: { return "operation undefined"; } in clingo_warning_string()
/dports/math/clingo/clingo-5.5.1/app/pyclingo/
H A D_clingo.c3283 int n = (clingo_warning_operation_undefined) <= 0; in _cffi_const_clingo_warning_operation_undefined()
3284 …*o = (unsigned long long)((clingo_warning_operation_undefined) | 0); /* check that clingo_warning… in _cffi_const_clingo_warning_operation_undefined()