Home
last modified time | relevance | path

Searched refs:clingo_ast_binary_operator_minus (Results 1 – 8 of 8) sorted by relevance

/dports/math/clingo/clingo-5.5.1/libclingo/src/
H A Dastv2_str.cc66 CASE(clingo_ast_binary_operator_minus, "-") in BEGIN_ENUM()
H A Dastv2_parse.cc202 case clingo_ast_binary_operator_minus: { in parseBinOp()
/dports/math/clingo/clingo-5.5.1/libclingo/
H A Dclingo.h2378 clingo_ast_binary_operator_minus = 4, //!< Operator "-". enumerator
H A Dclingo.hh1850 Minus = clingo_ast_binary_operator_minus,
/dports/math/clingo/clingo-5.5.1/libpyclingo/clingo/
H A Dast.py471 Minus = _lib.clingo_ast_binary_operator_minus
/dports/math/clingo/clingo-5.5.1/libpyclingo/
H A D_clingo.cdef367 clingo_ast_binary_operator_minus = 4, //!< Operator "-".
H A D_clingo.c3039 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()
/dports/math/clingo/clingo-5.5.1/app/pyclingo/
H A D_clingo.c2268 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()