Home
last modified time | relevance | path

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

/dports/math/clingo/clingo-5.5.1/libpyclingo/clingo/
H A Dcore.py70 False_ = _lib.clingo_external_type_false
H A Dcontrol.py239 val = _lib.clingo_external_type_false
/dports/math/clingo/clingo-5.5.1/libclingo/
H A Dclingo.h1503 clingo_external_type_false = 2, //!< assign an external to false enumerator
H A Dclingo.hh1139 False = clingo_external_type_false,
/dports/math/clingo/clingo-5.5.1/libluaclingo/
H A Dluaclingo.cc2065 …for (auto t : { clingo_external_type_true, clingo_external_type_false, clingo_external_type_free, … in addToRegistry()
2075 case clingo_external_type_false: { return "False"; } in field_()
2149 clingo_external_type_t value = clingo_external_type_false; in addExternal()
/dports/math/clingo/clingo-5.5.1/libpyclingo/
H A D_clingo.cdef219 clingo_external_type_false = 2, //!< assign an external to false
H A D_clingo.c3704 int n = (clingo_external_type_false) <= 0; in _cffi_const_clingo_external_type_false()
3705 …*o = (unsigned long long)((clingo_external_type_false) | 0); /* check that clingo_external_type_f… in _cffi_const_clingo_external_type_false()
/dports/math/clingo/clingo-5.5.1/app/pyclingo/
H A D_clingo.c2933 int n = (clingo_external_type_false) <= 0; in _cffi_const_clingo_external_type_false()
2934 …*o = (unsigned long long)((clingo_external_type_false) | 0); /* check that clingo_external_type_f… in _cffi_const_clingo_external_type_false()