Home
last modified time | relevance | path

Searched refs:DEFINE_SORT (Results 1 – 9 of 9) sorted by relevance

/dports/math/py-pysmt/pysmt-0.9.0/pysmt/smtlib/
H A Dcommands.py29 DEFINE_SORT='define-sort' variable
56 DEFINE_SORT,
H A Dscript.py118 elif self.name == smtcmd.DEFINE_SORT:
/dports/astro/astrometry/astrometry.net-0.85/include/astrometry/
H A Dbl.h275 #define DEFINE_SORT 1 macro
300 #undef DEFINE_SORT
301 #define DEFINE_SORT 0 macro
308 #undef DEFINE_SORT
H A Dbl-nl.h41 #if DEFINE_SORT
/dports/astro/stellarsolver/stellarsolver-1.8/stellarsolver/astrometry/include/astrometry/
H A Dbl.h287 #define DEFINE_SORT 1 macro
312 #undef DEFINE_SORT
313 #define DEFINE_SORT 0 macro
320 #undef DEFINE_SORT
H A Dbl-nl.h41 #if DEFINE_SORT
/dports/astro/astrometry/astrometry.net-0.85/util/
H A Dbl.c39 #define DEFINE_SORT 0 macro
72 #undef DEFINE_SORT
73 #define DEFINE_SORT 0 macro
81 #undef DEFINE_SORT
/dports/astro/stellarsolver/stellarsolver-1.8/stellarsolver/astrometry/util/
H A Dbl.c39 #define DEFINE_SORT 0 macro
72 #undef DEFINE_SORT
73 #define DEFINE_SORT 0 macro
81 #undef DEFINE_SORT
/dports/math/py-pysmt/pysmt-0.9.0/pysmt/smtlib/parser/
H A Dparser.py460 smtcmd.DEFINE_SORT: self._cmd_define_sort,