Searched defs:is_as_array (Results 1 – 10 of 10) sorted by relevance
/dports/math/z3/z3-z3-4.8.13/src/ast/ |
H A D | array_decl_plugin.h | 153 bool is_as_array(expr * n) const { return is_app_of(n, m_fid, OP_AS_ARRAY); } in is_as_array() function 154 …bool is_as_array(expr * n, func_decl*& f) const { return is_as_array(n) && (f = get_as_array_func_… in is_as_array() function 161 bool is_as_array(func_decl* f) const { return is_decl_of(f, m_fid, OP_AS_ARRAY); } in is_as_array() function 166 …bool is_as_array(func_decl* f, func_decl*& g) const { return is_decl_of(f, m_fid, OP_AS_ARRAY) && … in is_as_array() function
|
/dports/math/py-z3-solver/z3-z3-4.8.10/src/ast/ |
H A D | array_decl_plugin.h | 153 bool is_as_array(expr * n) const { return is_app_of(n, m_fid, OP_AS_ARRAY); } in is_as_array() function 154 …bool is_as_array(expr * n, func_decl*& f) const { return is_as_array(n) && (f = get_as_array_func_… in is_as_array() function 161 bool is_as_array(func_decl* f) const { return is_decl_of(f, m_fid, OP_AS_ARRAY); } in is_as_array() function 166 …bool is_as_array(func_decl* f, func_decl*& g) const { return is_decl_of(f, m_fid, OP_AS_ARRAY) && … in is_as_array() function
|
/dports/math/z3/z3-z3-4.8.13/src/smt/ |
H A D | theory_array_base.h | 47 bool is_as_array(app const * n) const { return n->is_app_of(get_id(), OP_AS_ARRAY); } in is_as_array() function 57 bool is_as_array(enode const * n) const { return is_as_array(n->get_expr()); } in is_as_array() function
|
/dports/math/py-z3-solver/z3-z3-4.8.10/src/smt/ |
H A D | theory_array_base.h | 47 bool is_as_array(app const * n) const { return n->is_app_of(get_id(), OP_AS_ARRAY); } in is_as_array() function 57 bool is_as_array(enode const * n) const { return is_as_array(n->get_owner()); } in is_as_array() function
|
/dports/math/z3/z3-z3-4.8.13/src/api/ml/ |
H A D | z3.mli | 797 val is_as_array : Expr.expr -> bool val
|
H A D | z3.ml | 749 let is_as_array x = AST.is_app x && FuncDecl.get_decl_kind (Expr.get_func_decl x) = OP_AS_ARRAY function
|
/dports/math/py-z3-solver/z3-z3-4.8.10/src/api/ml/ |
H A D | z3.mli | 797 val is_as_array : Expr.expr -> bool val
|
H A D | z3.ml | 749 let is_as_array x = AST.is_app x && FuncDecl.get_decl_kind (Expr.get_func_decl x) = OP_AS_ARRAY function
|
/dports/math/z3/z3-z3-4.8.13/src/api/python/z3/ |
H A D | z3.py | 6595 def is_as_array(n): function
|
/dports/math/py-z3-solver/z3-z3-4.8.10/src/api/python/z3/ |
H A D | z3.py | 6281 def is_as_array(n): function
|