Searched refs:clingo_warning_variable_unbounded (Results 1 – 8 of 8) sorted by relevance
51 VariableUnbounded = _lib.clingo_warning_variable_unbounded
171 clingo_warning_variable_unbounded = 4, //!< CSP variable with unbounded domain enumerator
1755 VariableUnbounded = clingo_warning_variable_unbounded,
3267 …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_()
26 clingo_warning_variable_unbounded = 4, //!< CSP variable with unbounded domain
4082 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()
216 case clingo_warning_variable_unbounded: { return "variable unbounded"; } in clingo_warning_string()
3311 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()