Home
last modified time | relevance | path

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

/dports/math/clingo/clingo-5.5.1/libpyclingo/clingo/
H A Dcore.py51 VariableUnbounded = _lib.clingo_warning_variable_unbounded
/dports/math/clingo/clingo-5.5.1/libclingo/
H A Dclingo.h171 clingo_warning_variable_unbounded = 4, //!< CSP variable with unbounded domain enumerator
H A Dclingo.hh1755 VariableUnbounded = clingo_warning_variable_unbounded,
/dports/math/clingo/clingo-5.5.1/libluaclingo/
H A Dluaclingo.cc3267 …lingo_warning_atom_undefined, clingo_warning_file_included, clingo_warning_variable_unbounded, cli… in addToRegistry()
3280 case clingo_warning_variable_unbounded : { return "VariableUnbounded"; } in field_()
/dports/math/clingo/clingo-5.5.1/libpyclingo/
H A D_clingo.cdef26 clingo_warning_variable_unbounded = 4, //!< CSP variable with unbounded domain
H A D_clingo.c4082 int n = (clingo_warning_variable_unbounded) <= 0; in _cffi_const_clingo_warning_variable_unbounded()
4083 …*o = (unsigned long long)((clingo_warning_variable_unbounded) | 0); /* check that clingo_warning_… in _cffi_const_clingo_warning_variable_unbounded()
/dports/math/clingo/clingo-5.5.1/libclingo/src/
H A Dcontrol.cc216 case clingo_warning_variable_unbounded: { return "variable unbounded"; } in clingo_warning_string()
/dports/math/clingo/clingo-5.5.1/app/pyclingo/
H A D_clingo.c3311 int n = (clingo_warning_variable_unbounded) <= 0; in _cffi_const_clingo_warning_variable_unbounded()
3312 …*o = (unsigned long long)((clingo_warning_variable_unbounded) | 0); /* check that clingo_warning_… in _cffi_const_clingo_warning_variable_unbounded()