Here is a list of all struct and union fields with links to the structures/unions they belong to:
- i -
- id() : expr, func_decl, sort, UserPropagateBase
- idx : OnClause
- implies : expr
- import_model_converter() : Solver
- inconsistent() : goal, Goal
- index() : AlgebraicNumRef
- insert() : Fixedpoint, Goal, PropClosures, Solver
- int2bv : expr
- int_const() : context
- int_sort() : context
- int_symbol() : context
- int_val() : context
- interrupt() : context, Context, Solver
- is_algebraic() : expr
- is_and() : expr
- is_app() : expr
- is_arith() : expr, sort
- is_array() : expr, sort
- is_bool() : expr, sort, ArithSortRef, BoolSortRef
- is_bv() : expr, sort
- is_const() : expr, func_decl
- is_datatype() : expr, sort
- is_decided_sat() : goal
- is_decided_unsat() : goal
- is_digit() : expr, CharRef
- is_distinct() : expr
- is_double() : stats
- is_eq() : expr
- is_exists() : expr, QuantifierRef
- is_false() : expr
- is_finite_domain() : expr, sort
- is_forall() : expr, QuantifierRef
- is_fpa() : expr, sort
- is_implies() : expr
- is_int() : expr, sort, ArithRef, ArithSortRef, BoolSortRef, RatNumRef
- is_int_value() : RatNumRef
- is_ite() : expr
- is_lambda() : expr, QuantifierRef
- is_not() : expr
- is_numeral() : expr
- is_numeral_i() : expr
- is_numeral_i64() : expr
- is_numeral_u() : expr
- is_numeral_u64() : expr
- is_or() : expr
- is_quantifier() : expr
- is_re() : expr, sort
- is_real() : expr, sort, ArithRef, ArithSortRef, RatNumRef
- is_relation() : expr, sort
- is_seq() : expr, sort
- is_string() : SeqRef, SeqSortRef
- is_string_value() : expr, SeqRef
- is_true() : expr
- is_uint() : stats
- is_var() : expr
- is_well_sorted() : expr
- is_xor() : expr
- isInf() : FPNumRef
- isNaN() : FPNumRef
- isNegative() : FPNumRef
- isNormal() : FPNumRef
- isPositive() : FPNumRef
- isSubnormal() : FPNumRef
- isZero() : FPNumRef
- ite : expr
- iterator() : ast_vector_tpl< T >::iterator, expr::iterator
- itos() : expr