Searched refs:clingo_ast_theory_sequence_type_set (Results 1 – 9 of 9) sorted by relevance
99 CASE(clingo_ast_theory_sequence_type_set, "{") in BEGIN_ENUM()105 CASE(clingo_ast_theory_sequence_type_set, "}") in BEGIN_ENUM()
327 case clingo_ast_theory_sequence_type_set: { in parseTheoryTerm()
541 return theorytermseq(loc, args, clingo_ast_theory_sequence_type_set); in theorytermset()
2337 clingo_ast_theory_sequence_type_set //!< Theory sets "{t1,...,tn}". enumerator
1821 Set = clingo_ast_theory_sequence_type_set,
592 Set = _lib.clingo_ast_theory_sequence_type_set
338 clingo_ast_theory_sequence_type_set //!< Theory sets "{t1,...,tn}".
3200 int n = (clingo_ast_theory_sequence_type_set) <= 0; in _cffi_const_clingo_ast_theory_sequence_type_set()3201 …*o = (unsigned long long)((clingo_ast_theory_sequence_type_set) | 0); /* check that clingo_ast_th… in _cffi_const_clingo_ast_theory_sequence_type_set()
2429 int n = (clingo_ast_theory_sequence_type_set) <= 0; in _cffi_const_clingo_ast_theory_sequence_type_set()2430 …*o = (unsigned long long)((clingo_ast_theory_sequence_type_set) | 0); /* check that clingo_ast_th… in _cffi_const_clingo_ast_theory_sequence_type_set()