Searched defs:func_decl_info (Results 1 – 4 of 4) sorted by relevance
| /dports/math/z3/z3-z3-4.8.13/src/ast/ |
| H A D | ast.h | 390 struct func_decl_info : public decl_info { struct
402 …func_decl_info(family_id family_id = null_family_id, decl_kind k = null_decl_kind, unsigned num_pa… argument
404 bool is_associative() const { return m_left_assoc && m_right_assoc; } in is_associative()
428 bool operator==(func_decl_info const & info) const; argument
438 std::ostream & operator<<(std::ostream & out, func_decl_info const & info); argument
|
| H A D | ast.cpp | 246 func_decl_info::func_decl_info(family_id family_id, decl_kind k, unsigned num_parameters, parameter… in func_decl_info() function in func_decl_info
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/ast/ |
| H A D | ast.h | 389 struct func_decl_info : public decl_info { struct
401 …func_decl_info(family_id family_id = null_family_id, decl_kind k = null_decl_kind, unsigned num_pa… argument
403 bool is_associative() const { return m_left_assoc && m_right_assoc; } in is_associative()
427 bool operator==(func_decl_info const & info) const; argument
437 std::ostream & operator<<(std::ostream & out, func_decl_info const & info); argument
|
| H A D | ast.cpp | 264 func_decl_info::func_decl_info(family_id family_id, decl_kind k, unsigned num_parameters, parameter… in func_decl_info() function in func_decl_info
|