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

- c -

• c : ScopedConstructor , ScopedConstructorList
• cast() : BoolSortRef , ArithSortRef , SortRef , BitVecSortRef , FPSortRef
• Check() : Deprecated
• check() : solver
• Check() : Optimize
• check() : optimize , Solver
• Check() : Solver
• check() : Optimize
• Check() : Optimize
• check() : Native , Solver , solver
• check_context : object
• check_error() : context , object
• checkAndGetModel() : Native
• checkAssumptions() : Native
• CheckInterpolant() : InterpolationContext
• checkInterpolant() : Native
• children() : ExprRef , QuantifierRef
• clear() : IDecRefQueue
• close() : Log
• closeLog() : Native
• cnsts : InterpolationContext.ReadInterpolationProblemResult
• ColumnSorts : RelationSort
• CompareTo() : AST
• compareTo() : AST
• ComputeInterpolant() : InterpolationContext
• computeInterpolant() : Native
• concat : expr
• Cond() : Context
• cond() : Context
• config() : config
• ConsDecl : ListSort
• Const() : EnumSort
• constant() : context
• ConstDecl() : EnumSort
• ConstDecls : EnumSort , Model
• ConstInterp() : Model
• constProbe() : Context
• ConstProbe() : Context
• constructor() : DatatypeSortRef
• ConstructorDecl : Constructor
• Constructors : DatatypeSort
• constructors : Datatype
• Consts : EnumSort
• context() : context
• Context() : Context
• context() : context
• Context() : Context
• contextToString() : Native
• convert_model() : ApplyResult , apply_result
• convertModel() : ApplyResult
• ConvertModel() : ApplyResult
• create() : Datatype
• ctx : Goal , ApplyResult , Context , Tactic , ParamsRef , AstRef , Datatype , Solver , FuncEntry , Statistics , FuncInterp , object , ModelRef , Probe , BitVecSortRef , ArithSortRef , AstVector , Optimize , FPSortRef , ParamDescrsRef , AstMap , ScopedConstructor , Fixedpoint , ScopedConstructorList
• ctx_ref() : AstRef