Here is a list of all functions with links to the structures/unions they belong to:
- c -
- canIncludeFile() : CVC4::parser::Parser
- card() : CVC3::Type
- Cardinality() : CVC4::Cardinality
- CardinalityBeth() : CVC4::CardinalityBeth
- CardinalityUnknown() : CVC4::CardinalityUnknown
- ceiling() : CVC4::Rational
- ceilingDivideQuotient() : CVC4::Integer
- ceilingDivideRemainder() : CVC4::Integer
- Chain() : CVC4::Chain
- checkArity() : CVC4::parser::Parser
- checkContinue() : CVC3::ValidityChecker
- checkDeclaration() : CVC4::parser::Parser
- checkFunctionLike() : CVC4::parser::Parser
- checkOperator() : CVC4::parser::Parser
- checkSat() : CVC4::SmtEngine
- CheckSatCommand() : CVC4::CheckSatCommand
- checkUnsat() : CVC3::ValidityChecker
- cindexOf() : CVC4::Datatype
- clear() : CVC4::CommandSequence, CVC4::theory::TestOutputChannel
- CLFlag() : CVC3::CLFlag
- clone() : CVC4::AssertCommand, CVC4::CheckSatCommand, CVC4::Command, CVC4::CommandFailure, CVC4::CommandSequence, CVC4::CommandStatus, CVC4::CommandSuccess, CVC4::CommandUnsupported, CVC4::CommentCommand, CVC4::DatatypeDeclarationCommand, CVC4::DeclareFunctionCommand, CVC4::DeclareTypeCommand, CVC4::DefineFunctionCommand, CVC4::DefineNamedFunctionCommand, CVC4::DefineTypeCommand, CVC4::EchoCommand, CVC4::EmptyCommand, CVC4::ExpandDefinitionsCommand, CVC4::GetAssertionsCommand, CVC4::GetAssignmentCommand, CVC4::GetInfoCommand, CVC4::GetInstantiationsCommand, CVC4::GetModelCommand, CVC4::GetOptionCommand, CVC4::GetProofCommand, CVC4::GetUnsatCoreCommand, CVC4::GetValueCommand, CVC4::PopCommand, CVC4::PropagateRuleCommand, CVC4::PushCommand, CVC4::QueryCommand, CVC4::QuitCommand, CVC4::RewriteRuleCommand, CVC4::SetBenchmarkLogicCommand, CVC4::SetBenchmarkStatusCommand, CVC4::SetInfoCommand, CVC4::SetOptionCommand, CVC4::SetUserAttributeCommand, CVC4::SimplifyCommand
- cmdsFromString() : CVC3::ValidityChecker
- cmp() : CVC4::Rational
- Command() : CVC4::Command
- CommandFailure() : CVC4::CommandFailure
- CommandPrintSuccess() : CVC4::CommandPrintSuccess
- CommandSequence() : CVC4::CommandSequence
- CommandStatus() : CVC4::CommandStatus
- CommentCommand() : CVC4::CommentCommand
- compare() : CVC4::Cardinality
- complexity() : CVC4::Rational
- computeBVConst() : CVC3::ValidityChecker
- concat() : CVC4::BitVector, CVC4::String
- conflict() : CVC4::theory::TestOutputChannel
- const_iterator() : CVC4::Expr::const_iterator
- construct() : CVC4::IllegalArgumentException
- ConstructorType() : CVC4::ConstructorType
- convertCharToUnsignedInt() : CVC4::String
- convertUnsignedIntToChar() : CVC4::String
- countFlags() : CVC3::CLFlags
- create() : CVC3::ValidityChecker, CVC4::prop::SatSolverFactory
- createDPLLMinisat() : CVC4::prop::SatSolverFactory
- createFlags() : CVC3::ValidityChecker
- createMinisat() : CVC4::prop::SatSolverFactory
- createOp() : CVC3::ValidityChecker
- createType() : CVC3::ValidityChecker
- current() : CVC4::Options