- c -

• cast() : SortRef , BoolSortRef , BitVecSortRef , FPSortRef , ArithSortRef
• Check() : Solver
• check() : optimize , Solver
• Check() : Optimize
• check() : Optimize , Native , Solver
• Check() : Deprecated
• check() : Solver , solver
• Check() : Optimize
• check() : solver
• check_error() : context , object
• checkAndGetModel() : Native
• checkAssumptions() : Native
• CheckInterpolant() : InterpolationContext
• checkInterpolant() : Native
• children() : ExprRef , QuantifierRef
• clear() : IDecRefQueue
• close() : Log
• closeLog() : Native
• compareTo() : AST
• CompareTo() : AST
• ComputeInterpolant() : InterpolationContext
• computeInterpolant() : Native
• Cond() : Context
• cond() : Context
• config() : config
• Const() : EnumSort
• constant() : context
• ConstDecl() : EnumSort
• ConstInterp() : Model
• ConstProbe() : Context
• constProbe() : Context
• constructor() : DatatypeSortRef
• ConstructorDecl() : Constructor
• context() : context
• Context() : Context
• context() : context
• Context() : Context
• contextToString() : Native
• convert_model() : ApplyResult , apply_result
• convertModel() : ApplyResult
• ConvertModel() : ApplyResult
• create() : Datatype
• ctx() : object
• ctx_ref() : AstRef