Home
last modified time | relevance | path

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 Darray_decl_plugin.h153 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 Darray_decl_plugin.h153 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 Dtheory_array_base.h47 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 Dtheory_array_base.h47 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 Dz3.mli797 val is_as_array : Expr.expr -> bool val
H A Dz3.ml749 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 Dz3.mli797 val is_as_array : Expr.expr -> bool val
H A Dz3.ml749 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 Dz3.py6595 def is_as_array(n): function
/dports/math/py-z3-solver/z3-z3-4.8.10/src/api/python/z3/
H A Dz3.py6281 def is_as_array(n): function