Searched defs:is_well_sorted (Results 1 – 9 of 9) sorted by relevance
84 bool is_well_sorted(ast_manager const & m, expr * n) { in is_well_sorted() function
474 val is_well_sorted : expr -> bool val541 let is_well_sorted (x:expr) = Z3native.is_well_sorted (gc x) x function
524 val is_well_sorted : Expr.expr -> bool val
785 … bool is_well_sorted() const { bool r = Z3_is_well_sorted(ctx(), m_ast); check_error(); return r; } in is_well_sorted() function
866 … bool is_well_sorted() const { bool r = Z3_is_well_sorted(ctx(), m_ast); check_error(); return r; } in is_well_sorted() function
878 … bool is_well_sorted() const { bool r = Z3_is_well_sorted(ctx(), m_ast); check_error(); return r; } in is_well_sorted() function