Searched refs:clingo_ast_binary_operator_minus (Results 1 – 8 of 8) sorted by relevance
66 CASE(clingo_ast_binary_operator_minus, "-") in BEGIN_ENUM()
202 case clingo_ast_binary_operator_minus: { in parseBinOp()
2378 clingo_ast_binary_operator_minus = 4, //!< Operator "-". enumerator
1850 Minus = clingo_ast_binary_operator_minus,
471 Minus = _lib.clingo_ast_binary_operator_minus
367 clingo_ast_binary_operator_minus = 4, //!< Operator "-".
3039 int n = (clingo_ast_binary_operator_minus) <= 0; in _cffi_const_clingo_ast_binary_operator_minus()3040 …*o = (unsigned long long)((clingo_ast_binary_operator_minus) | 0); /* check that clingo_ast_binar… in _cffi_const_clingo_ast_binary_operator_minus()
2268 int n = (clingo_ast_binary_operator_minus) <= 0; in _cffi_const_clingo_ast_binary_operator_minus()2269 …*o = (unsigned long long)((clingo_ast_binary_operator_minus) | 0); /* check that clingo_ast_binar… in _cffi_const_clingo_ast_binary_operator_minus()