Here is a list of all struct and union fields with links to the structures/unions they belong to:

- _ -

• __add__() : ArithRef , BitVecRef , FPRef
• __and__() : BitVecRef
• __call__() : FuncDeclRef , Tactic , Probe
• __contains__() : AstVector , AstMap
• __del__() : Goal , AstVector , AstMap , FuncEntry , Context , FuncInterp , ModelRef , AstRef , Statistics , Solver , ScopedConstructor , Fixedpoint , Optimize , ScopedConstructorList , ApplyResult , Tactic , ParamsRef , Probe , ParamDescrsRef
• __div__() : ArithRef , BitVecRef
• __eq__() : ExprRef , CheckSatResult , Probe , SortRef
• __ge__() : ArithRef , BitVecRef , Probe , FPRef
• __getattr__() : Statistics
• __getitem__() : ArrayRef , ParamDescrsRef , Goal , AstVector , AstMap , ModelRef , Statistics , ApplyResult
• __gt__() : ArithRef , BitVecRef , Probe , FPRef
• __init__() : ModelRef , Statistics , CheckSatResult , Solver , Fixedpoint , OptimizeObjective , Optimize , ApplyResult , Tactic , Probe , Context , AstRef , Datatype , ScopedConstructor , ScopedConstructorList , ParamsRef , ParamDescrsRef , Goal , AstVector , AstMap , FuncEntry , FuncInterp
• __invert__() : BitVecRef
• __le__() : ArithRef , BitVecRef , Probe , FPRef
• __len__() : ParamDescrsRef , Goal , AstVector , AstMap , ModelRef , Statistics , ApplyResult
• __lshift__() : BitVecRef
• __lt__() : ArithRef , BitVecRef , Probe , FPRef
• __mod__() : BitVecRef , FPRef , ArithRef
• __mul__() : ArithRef , FPRef , BitVecRef
• __ne__() : SortRef , ExprRef , Probe , FPRef , CheckSatResult
• __neg__() : BitVecRef , ArithRef , FPRef
• __or__() : BitVecRef
• __pos__() : BitVecRef , ArithRef , FPRef
• __pow__() : ArithRef
• __radd__() : BitVecRef , ArithRef , FPRef
• __rand__() : BitVecRef
• __rdiv__() : BitVecRef , ArithRef
• __repr__() : Fixedpoint , Solver , FuncEntry , CheckSatResult , ApplyResult , ModelRef , AstVector , Statistics , ParamDescrsRef , AstMap , Optimize , AstRef , ParamsRef , Datatype , Goal , FuncInterp
• __rlshift__() : BitVecRef
• __rmod__() : ArithRef , FPRef , BitVecRef
• __rmul__() : ArithRef , FPRef , BitVecRef
• __ror__() : BitVecRef
• __rpow__() : ArithRef
• __rrshift__() : BitVecRef
• __rshift__() : BitVecRef
• __rsub__() : BitVecRef , ArithRef , FPRef
• __rtruediv__() : BitVecRef , FPRef , ArithRef
• __rxor__() : BitVecRef
• __setitem__() : AstMap , AstVector
• __str__() : AstRef
• __sub__() : BitVecRef , ArithRef , FPRef
• __truediv__() : BitVecRef , FPRef , ArithRef
• __xor__() : BitVecRef