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

- g -

• ge() : Context
• Ge() : Context
• get() : ASTVector , Statistics , Goal
• get_answer() : Fixedpoint
• get_assertions() : Fixedpoint
• get_const_decl() : model
• get_const_interp() : model
• get_cover_delta() : Fixedpoint
• get_decimal_string() : expr
• get_documentation() : ParamDescrsRef
• get_func_decl() : model
• get_func_interp() : model
• get_id() : AstRef , ExprRef , FuncDeclRef , PatternRef , QuantifierRef , SortRef
• get_interp() : ModelRef
• get_interpolant() : context
• get_key_value() : Statistics
• get_kind() : ParamDescrsRef
• get_model() : optimize , solver
• get_name() : ParamDescrsRef
• get_num_levels() : Fixedpoint
• get_numeral_int() : expr
• get_numeral_int64() : expr
• get_numeral_uint() : expr
• get_numeral_uint64() : expr
• get_param_descrs() : solver , tactic
• get_rules() : Fixedpoint
• get_sort() : expr , ModelRef
• get_universe() : ModelRef
• getAccessorDecls() : Constructor
• getAccessors() : DatatypeSort
• getAnswer() : Fixedpoint
• GetAnswer() : Fixedpoint
• getApplyResultDRQ() : Context
• getArgs() : Expr
• getArity() : FuncDecl , FuncInterp , RelationSort
• getAssertions() : Fixedpoint , Solver
• getAST() : FuncDecl.Parameter
• getASTDRQ() : Context
• getASTKind() : AST
• getASTMapDRQ() : Context
• getASTVectorDRQ() : Context
• getBigIntDenominator() : RatNum
• getBigInteger() : BitVecNum , FiniteDomainNum , IntNum
• getBigIntNumerator() : RatNum
• getBody() : Quantifier
• getBoolSort() : Context
• getBoolValue() : Expr
• getBoundVariableNames() : Quantifier
• getBoundVariableSorts() : Quantifier
• getBuild() : Version
• getColumnSorts() : RelationSort
• getConsDecl() : ListSort
• getConst() : EnumSort
• getConstDecl() : EnumSort
• getConstDecls() : EnumSort , Model
• getConstInterp() : Model
• getConstructorDRQ() : Context
• getConstructorListDRQ() : Context
• getConstructors() : DatatypeSort
• getConsts() : EnumSort
• getCoverDelta() : Fixedpoint
• GetCoverDelta() : Fixedpoint
• getDeclKind() : FuncDecl
• getDecls() : Model
• getDenominator() : RatNum
• getDepth() : Goal
• getDocumentation() : ParamDescrs
• GetDocumentation() : ParamDescrs
• getDomain() : ArraySort , FuncDecl
• getDomainSize() : FuncDecl
• getDouble() : FuncDecl.Parameter
• getDoubleValue() : Statistics.Entry
• getEBits() : FPExpr , FPSort
• getElse() : FuncInterp
• getEntries() : FuncInterp , Statistics
• getExponent() : FPNum
• getExponentInt64() : FPNum
• getFieldDecls() : TupleSort
• getFixedpointDRQ() : Context
• getFormulas() : Goal
• getFullVersion() : Version
• getFuncDecl() : Expr , FuncDecl.Parameter
• getFuncDecls() : Model
• getFuncEntryDRQ() : Context
• getFuncInterp() : Model
• getFuncInterpDRQ() : Context
• getGoalDRQ() : Context
• GetHashCode() : AST , FuncDecl , Sort , Symbol
• getHeadDecl() : ListSort
• getHelp() : Fixedpoint , Optimize , Solver , Tactic
• getId() : AST , FuncDecl , Sort
• getIndex() : Expr
• getInt() : BitVecNum , FiniteDomainNum , FuncDecl.Parameter , IntNum , IntSymbol
• getInt64() : FiniteDomainNum , IntNum
• GetInterpolant() : InterpolationContext
• getIntSort() : Context
• getIsConsDecl() : ListSort
• getIsNilDecl() : ListSort
• getKeys() : Statistics
• getKind() : ParamDescrs , Symbol
• GetKind() : ParamDescrs
• getLong() : BitVecNum
• getLower() : Optimize.Handle
• getMajor() : Version
• getMinor() : Version
• getModel() : Optimize , Solver
• getModelDRQ() : Context
• getName() : FuncDecl , Sort
• getNames() : ParamDescrs
• getNil() : ListSort
• getNilDecl() : ListSort
• getNoPatterns() : Quantifier
• getNumArgs() : Expr
• getNumAssertions() : Solver
• getNumBound() : Quantifier
• getNumConstructors() : DatatypeSort
• getNumConsts() : Model
• getNumEntries() : FuncInterp
• getNumerator() : RatNum
• getNumExprs() : Goal
• getNumFields() : Constructor , TupleSort
• getNumFuncs() : Model
• getNumLevels() : Fixedpoint
• GetNumLevels() : Fixedpoint
• getNumNoPatterns() : Quantifier
• getNumParameters() : FuncDecl
• getNumPatterns() : Quantifier
• getNumProbes() : Context
• getNumScopes() : Solver
• getNumSMTLIBAssumptions() : Context
• getNumSMTLIBDecls() : Context
• getNumSMTLIBFormulas() : Context
• getNumSMTLIBSorts() : Context
• getNumSorts() : Model
• getNumSubgoals() : ApplyResult
• getNumTactics() : Context
• getNumTerms() : Pattern
• getOptimizeDRQ() : Context
• getParamDescrsDRQ() : Context
• getParameter() : Global
• getParameterDescriptions() : Fixedpoint , Optimize , Solver , Tactic
• getParameterKind() : FuncDecl.Parameter
• getParameters() : FuncDecl
• getParamsDRQ() : Context
• getPatterns() : Quantifier
• getPrecision() : Goal
• getProbeDescription() : Context
• getProbeDRQ() : Context
• getProbeNames() : Context
• getProof() : Solver
• getRange() : ArraySort , FuncDecl
• getRational() : FuncDecl.Parameter
• getRealSort() : Context
• getReasonUnknown() : Fixedpoint , Optimize , Solver
• GetReasonUnknown() : Fixedpoint
• getRecognizers() : DatatypeSort
• getRevision() : Version
• getRules() : Fixedpoint
• getSBits() : FPExpr , FPSort
• getSExpr() : AST
• getSign() : FPNum
• getSignificand() : FPNum
• getSignificandUInt64() : FPNum
• getSimplifyParameterDescriptions() : Context
• getSize() : BitVecSort , FiniteDomainSort
• getSMTLIBAssumptions() : Context
• getSMTLIBDecls() : Context
• getSMTLIBFormulas() : Context
• getSMTLIBSorts() : Context
• getSolver() : Tactic
• getSolverDRQ() : Context
• getSort() : Expr , FuncDecl.Parameter
• getSortKind() : Sort
• getSorts() : Model
• getSortSize() : BitVecExpr
• getSortUniverse() : Model
• getStatistics() : Fixedpoint , Optimize , Solver
• getStatisticsDRQ() : Context
• getString() : StringSymbol , Version
• getStringSort() : Context
• getSubgoals() : ApplyResult
• getSymbol() : FuncDecl.Parameter
• getTacticDescription() : Context
• getTacticDRQ() : Context
• getTacticNames() : Context
• getTailDecl() : ListSort
• getTerms() : Pattern
• getTesterDecl() : Constructor , EnumSort
• getTesterDecls() : EnumSort
• getUIntValue() : Statistics.Entry
• getUnsatCore() : Solver
• getUpper() : Optimize.Handle
• getValue() : Optimize.Handle
• getValueString() : Statistics.Entry
• getWeight() : Quantifier
• goal() : goal , Goal
• Goal_DRQ : Context
• gt() : Context
• Gt() : Context