Searched refs:clingo_external_type_true (Results 1 – 8 of 8) sorted by relevance
78 True_ = _lib.clingo_external_type_true
237 val = _lib.clingo_external_type_true
1502 clingo_external_type_true = 1, //!< assign an external to true enumerator
1138 True = clingo_external_type_true,
2065 …for (auto t : { clingo_external_type_true, clingo_external_type_false, clingo_external_type_free, … in addToRegistry()2074 case clingo_external_type_true: { return "True"; } in field_()
218 clingo_external_type_true = 1, //!< assign an external to true
3697 int n = (clingo_external_type_true) <= 0; in _cffi_const_clingo_external_type_true()3698 …*o = (unsigned long long)((clingo_external_type_true) | 0); /* check that clingo_external_type_tr… in _cffi_const_clingo_external_type_true()
2926 int n = (clingo_external_type_true) <= 0; in _cffi_const_clingo_external_type_true()2927 …*o = (unsigned long long)((clingo_external_type_true) | 0); /* check that clingo_external_type_tr… in _cffi_const_clingo_external_type_true()