Home
last modified time | relevance | path

Searched refs:clingo_ast_unary_operator_minus (Results 1 – 9 of 9) sorted by relevance

/dports/math/clingo/clingo-5.5.1/libclingo/src/
H A Dastv2_str.cc52 CASE(clingo_ast_unary_operator_minus, "-") in BEGIN_ENUM()
H A Dastv2_parse.cc173 case clingo_ast_unary_operator_minus: { in parseUnOp()
H A Dastv2_build.cc183 … .set(clingo_ast_attribute_operator_type, static_cast<int>(clingo_ast_unary_operator_minus)) in cspaddterm()
/dports/math/clingo/clingo-5.5.1/libclingo/
H A Dclingo.h2365 clingo_ast_unary_operator_minus = 0, //!< Operator "-". enumerator
H A Dclingo.hh1840 Minus = clingo_ast_unary_operator_minus,
/dports/math/clingo/clingo-5.5.1/libpyclingo/clingo/
H A Dast.py609 Minus = _lib.clingo_ast_unary_operator_minus
/dports/math/clingo/clingo-5.5.1/libpyclingo/
H A D_clingo.cdef357 clingo_ast_unary_operator_minus = 0, //!< Operator "-".
H A D_clingo.c3564 int n = (clingo_ast_unary_operator_minus) <= 0; in _cffi_const_clingo_ast_unary_operator_minus()
3565 …*o = (unsigned long long)((clingo_ast_unary_operator_minus) | 0); /* check that clingo_ast_unary_… in _cffi_const_clingo_ast_unary_operator_minus()
/dports/math/clingo/clingo-5.5.1/app/pyclingo/
H A D_clingo.c2793 int n = (clingo_ast_unary_operator_minus) <= 0; in _cffi_const_clingo_ast_unary_operator_minus()
2794 …*o = (unsigned long long)((clingo_ast_unary_operator_minus) | 0); /* check that clingo_ast_unary_… in _cffi_const_clingo_ast_unary_operator_minus()