Searched refs:clingo_ast_theory_operator_type_t (Results 1 – 2 of 2) sorted by relevance
2405 typedef int clingo_ast_theory_operator_type_t; typedef
387 typedef int clingo_ast_theory_operator_type_t;