Searched refs:clingo_ast_attribute_operator_type (Results 1 – 8 of 8) sorted by relevance
| /dports/math/clingo/clingo-5.5.1/libclingo/src/ |
| H A D | astv2_str.cc | 338 … auto unop = get_enum<clingo_ast_unary_operator_e>(ast, clingo_ast_attribute_operator_type); in operator <<()
345 … << enum_to_string<clingo_ast_binary_operator_e>(ast, clingo_ast_attribute_operator_type) in operator <<()
577 …", " << enum_to_string<clingo_ast_theory_operator_type_e>(ast, clingo_ast_attribute_operator_type); in operator <<()
|
| H A D | astv2_build.cc | 82 .set(clingo_ast_attribute_operator_type, static_cast<int>(op)) in term()
100 .set(clingo_ast_attribute_operator_type, static_cast<int>(op)) in term()
183 … .set(clingo_ast_attribute_operator_type, static_cast<int>(clingo_ast_unary_operator_minus)) in cspaddterm()
654 .set(clingo_ast_attribute_operator_type, static_cast<int>(type))); in theoryopdef()
|
| H A D | astv2_parse.cc | 235 parseUnOp(get<int>(ast, clingo_ast_attribute_operator_type)), in parseTerm()
240 parseBinOp(get<int>(ast, clingo_ast_attribute_operator_type)), in parseTerm()
732 … parseTheoryOperatorType(get<int>(ast, clingo_ast_attribute_operator_type))); in parseTheoryOpDef()
|
| /dports/math/clingo/clingo-5.5.1/libclingo/ |
| H A D | clingo.h | 2528 clingo_ast_attribute_operator_type, enumerator
|
| H A D | clingo.hh | 1971 OperatorType = clingo_ast_attribute_operator_type,
|
| /dports/math/clingo/clingo-5.5.1/libpyclingo/ |
| H A D | _clingo.cdef | 491 clingo_ast_attribute_operator_type,
|
| H A D | _clingo.c | 2850 int n = (clingo_ast_attribute_operator_type) <= 0; in _cffi_const_clingo_ast_attribute_operator_type()
2851 …*o = (unsigned long long)((clingo_ast_attribute_operator_type) | 0); /* check that clingo_ast_att… in _cffi_const_clingo_ast_attribute_operator_type()
|
| /dports/math/clingo/clingo-5.5.1/app/pyclingo/ |
| H A D | _clingo.c | 2079 int n = (clingo_ast_attribute_operator_type) <= 0; in _cffi_const_clingo_ast_attribute_operator_type()
2080 …*o = (unsigned long long)((clingo_ast_attribute_operator_type) | 0); /* check that clingo_ast_att… in _cffi_const_clingo_ast_attribute_operator_type()
|