Searched refs:clingo_ast_sign_t (Results 1 – 2 of 2) sorted by relevance
/dports/math/clingo/clingo-5.5.1/libclingo/ | ||
H A D | clingo.h | 2361 typedef int clingo_ast_sign_t; typedef |
/dports/math/clingo/clingo-5.5.1/libpyclingo/ | ||
H A D | _clingo.cdef | 355 typedef int clingo_ast_sign_t; |