Here is a list of all functions with links to the structures/unions they belong to:
- g -
- gcd() : CVC4::Integer
- geExpr() : CVC3::ValidityChecker
- getArgTypes() : CVC4::ConstructorType, CVC4::FunctionType
- getArity() : CVC4::ConstructorType, CVC4::DatatypeType, CVC4::DeclareTypeCommand, CVC4::FunctionType, CVC4::parser::Parser, CVC4::SortConstructorType
- getAssertions() : CVC4::SmtEngine
- GetAssertionsCommand() : CVC4::GetAssertionsCommand
- getAssignment() : CVC4::SmtEngine
- GetAssignmentCommand() : CVC4::GetAssignmentCommand
- getAssumptions() : CVC3::ValidityChecker
- getAssumptionsTCC() : CVC3::ValidityChecker
- getAssumptionsUsed() : CVC3::ValidityChecker
- getBaseType() : CVC3::ValidityChecker, CVC4::Type
- getBethNumber() : CVC4::Cardinality
- getBody() : CVC3::Expr, CVC4::PropagateRuleCommand, CVC4::RewriteRuleCommand
- getBool() : CVC3::CLFlag
- getBound() : CVC4::SubrangeBound
- getBoundIndex() : CVC3::Expr
- getCardinality() : CVC4::Datatype, CVC4::DatatypeConstructor, CVC4::Type
- getCharSet() : CVC4::String
- getChildren() : CVC4::Expr, CVC4::SExpr
- getClosure() : CVC3::ValidityChecker
- getColumn() : CVC4::parser::ParserException
- getCommandName() : CVC4::AssertCommand, CVC4::CheckSatCommand, CVC4::Command, CVC4::CommandSequence, CVC4::CommentCommand, CVC4::DatatypeDeclarationCommand, CVC4::DeclareFunctionCommand, CVC4::DeclareTypeCommand, CVC4::DefineFunctionCommand, 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
- getCommandStatus() : CVC4::Command
- getComment() : CVC4::CommentCommand
- getCompiledDateTime() : CVC4::Configuration
- getCompiler() : CVC4::Configuration
- getConcreteModel() : CVC3::ValidityChecker
- getConst() : CVC4::Expr
- getConstituentType() : CVC4::ArrayType
- getConstructor() : CVC4::Datatype, CVC4::DatatypeConstructor, CVC4::DatatypeConstructorArg, CVC4::DatatypeType
- getCounterExample() : CVC3::ValidityChecker
- getCurrentContext() : CVC3::ValidityChecker
- getDag() : CVC4::expr::ExprDag
- getDatatype() : CVC4::DatatypeType
- getDatatypes() : CVC4::DatatypeDeclarationCommand
- getDatatypeType() : CVC4::Datatype
- getDebugTags() : CVC4::Configuration
- getDenominator() : CVC4::Rational
- getDepth() : CVC4::expr::ExprSetDepth
- getDescription() : CVC4::Options
- getDomain() : CVC4::SelectorType, CVC4::TesterType
- getDouble() : CVC4::Rational
- getElementType() : CVC4::SetType
- getEM() : CVC3::Expr, CVC3::ValidityChecker
- getExistential() : CVC3::Expr
- getExpr() : CVC3::Expr, CVC3::Type, CVC4::ArrayStoreAll, CVC4::AssertCommand, CVC4::CheckSatCommand, CVC4::QueryCommand
- getExpression() : CVC4::TypeCheckingException
- getExprManager() : CVC4::Expr, CVC4::parser::Parser, CVC4::SmtEngine, CVC4::Type
- getField() : CVC4::RecordSelect, CVC4::RecordUpdate
- getFilename() : CVC4::parser::ParserException
- getFiniteCardinality() : CVC4::Cardinality
- getFirstChar() : CVC4::String
- getFlag() : CVC3::CLFlags, CVC4::GetInfoCommand, CVC4::GetOptionCommand, CVC4::SetInfoCommand, CVC4::SetOptionCommand
- getFlags() : CVC3::ValidityChecker
- getForcedLogic() : CVC4::parser::Parser
- getFormals() : CVC4::DefineFunctionCommand
- getFormula() : CVC4::DefineFunctionCommand
- getFunction() : CVC4::DeclareFunctionCommand, CVC4::DefineFunctionCommand, CVC4::parser::Parser
- getGitBranchName() : CVC4::Configuration
- getGitCommit() : CVC4::Configuration
- getGitId() : CVC4::Configuration
- getGuards() : CVC4::PropagateRuleCommand, CVC4::RewriteRuleCommand
- getHead() : CVC4::RewriteRuleCommand
- getHeads() : CVC4::PropagateRuleCommand
- getHelp() : CVC3::CLFlag
- getId() : CVC4::Expr
- getImpliedLiteral() : CVC3::ValidityChecker
- getIndex() : CVC3::Expr, CVC4::AbstractValue, CVC4::Record, CVC4::TupleSelect, CVC4::TupleUpdate, CVC4::UninterpretedConstant
- getIndexType() : CVC4::ArrayType
- getInfo() : CVC4::SmtEngine
- GetInfoCommand() : CVC4::GetInfoCommand
- getInput() : CVC4::parser::Parser
- getInputLang() : CVC3::ExprManager
- getInputName() : CVC4::Result
- getInputStream() : CVC4::parser::Input
- getInputStreamName() : CVC4::parser::Input
- GetInstantiationsCommand() : CVC4::GetInstantiationsCommand
- getInt() : CVC3::CLFlag
- getIntegerValue() : CVC4::SExpr
- getInternalAssumptions() : CVC3::ValidityChecker
- getIthCallType() : CVC4::theory::TestOutputChannel
- getIthNode() : CVC4::theory::TestOutputChannel
- getKids() : CVC3::Expr
- getKind() : CVC4::Expr
- getKindName() : CVC3::ExprManager
- getLanguage() : CVC4::expr::ExprSetLanguage, CVC4::parser::Input
- getLength() : CVC4::TupleType
- getLevel() : CVC4::SymbolTable
- getLine() : CVC4::parser::ParserException
- getLogic() : CVC4::SetBenchmarkLogicCommand
- getLogicInfo() : CVC4::SmtEngine
- getLogicString() : CVC4::LogicInfo
- getLong() : CVC4::Integer
- getMessage() : CVC4::CommandFailure, CVC4::Exception
- GetModelCommand() : CVC4::GetModelCommand
- getName() : CVC3::Expr, CVC4::Configuration, CVC4::Datatype, CVC4::DatatypeConstructor, CVC4::DatatypeConstructorArg, CVC4::DatatypeUnresolvedType, CVC4::EmptyCommand, CVC4::parser::InputStream, CVC4::SortConstructorType, CVC4::SortType
- getNewLemma() : CVC4::LemmaInputChannel
- getNumArgs() : CVC4::DatatypeConstructor
- getNumber() : CVC4::CardinalityBeth
- getNumCalls() : CVC4::theory::TestOutputChannel
- getNumChildren() : CVC4::Expr
- getNumConstructors() : CVC4::Datatype
- getNumDebugTags() : CVC4::Configuration
- getNumerator() : CVC4::Rational
- getNumFields() : CVC4::Record
- getNumParameters() : CVC4::Datatype
- getNumTraceTags() : CVC4::Configuration
- getOp() : CVC3::Expr
- getOperator() : CVC4::Chain, CVC4::Expr
- getOpExpr() : CVC3::Expr
- getOpKind() : CVC3::Expr
- getOption() : CVC4::SmtEngine
- GetOptionCommand() : CVC4::GetOptionCommand
- getOptions() : CVC4::ExprManager, CVC4::Options
- getOutput() : CVC4::EchoCommand
- getOutputLang() : CVC3::ExprManager
- getPackageName() : CVC4::Configuration
- getParameter() : CVC4::Datatype
- getParameters() : CVC4::Datatype, CVC4::DefineTypeCommand
- getParamTypes() : CVC4::DatatypeType, CVC4::SortType
- getPrintInModel() : CVC4::DeclareFunctionCommand
- getPrintInModelSetByUser() : CVC4::DeclareFunctionCommand
- getPrintSuccess() : CVC4::CommandPrintSuccess
- getPrintTypes() : CVC4::expr::ExprPrintTypes
- getProof() : CVC3::ValidityChecker, CVC4::SmtEngine
- getProofClosure() : CVC3::ValidityChecker
- GetProofCommand() : CVC4::GetProofCommand
- getProofQuery() : CVC3::ValidityChecker
- getProofTCC() : CVC3::ValidityChecker
- getRangeType() : CVC4::ConstructorType, CVC4::FunctionType, CVC4::SelectorType, CVC4::TesterType
- getRational() : CVC3::Expr
- getRationalValue() : CVC4::SExpr
- getRecord() : CVC4::RecordType
- getResourceRemaining() : CVC4::SmtEngine
- getResourceUsage() : CVC4::SmtEngine
- getResult() : CVC4::CheckSatCommand, CVC4::ExpandDefinitionsCommand, CVC4::GetAssertionsCommand, CVC4::GetAssignmentCommand, CVC4::GetInfoCommand, CVC4::GetOptionCommand, CVC4::GetProofCommand, CVC4::GetValueCommand, CVC4::QueryCommand, CVC4::SimplifyCommand
- getSelector() : CVC4::DatatypeConstructor, CVC4::DatatypeConstructorArg
- getSExpr() : CVC4::SetInfoCommand, CVC4::SetOptionCommand
- getSignedInt() : CVC4::Integer
- getSize() : CVC4::BitVector, CVC4::BitVectorType
- getSolverIds() : CVC4::prop::SatSolverFactory
- getSort() : CVC4::parser::Parser
- getSpecializedConstructorType() : CVC4::DatatypeConstructor
- getStatistic() : CVC4::ExprManager, CVC4::SmtEngine, CVC4::StatisticsBase
- getStatistics() : CVC3::ValidityChecker, CVC4::ExprManager, CVC4::SmtEngine
- getStatus() : CVC4::SetBenchmarkStatusCommand
- getStatusOfLastCommand() : CVC4::SmtEngine
- getString() : CVC3::CLFlag, CVC3::Expr, CVC4::SExprKeyword
- getStrVec() : CVC3::CLFlag
- getSubrangeBounds() : CVC4::SubrangeType
- getSubversionBranchName() : CVC4::Configuration
- getSubversionId() : CVC4::Configuration
- getSubversionRevision() : CVC4::Configuration
- getSymbol() : CVC4::DeclarationDefinitionCommand
- getSymbolTable() : CVC4::parser::Parser
- getTCC() : CVC3::ValidityChecker
- getTerm() : CVC4::ExpandDefinitionsCommand, CVC4::SimplifyCommand
- getTerms() : CVC4::GetValueCommand
- getTester() : CVC4::DatatypeConstructor
- getTesterName() : CVC4::DatatypeConstructor
- getTheorem() : CVC3::Expr
- getTimeRemaining() : CVC4::SmtEngine
- getTimeUsage() : CVC4::SmtEngine
- getTraceTags() : CVC4::Configuration
- getTriggers() : CVC3::Expr, CVC4::PropagateRuleCommand, CVC4::RewriteRuleCommand
- getType() : CVC3::CLFlag, CVC3::Expr, CVC3::ValidityChecker, CVC4::ArrayStoreAll, CVC4::AscriptionType, CVC4::DatatypeConstructorArg, CVC4::DeclareFunctionCommand, CVC4::DeclareTypeCommand, CVC4::DefineTypeCommand, CVC4::EmptySet, CVC4::Expr, CVC4::ExprManager, CVC4::parser::Parser, CVC4::RegExp, CVC4::Result, CVC4::UninterpretedConstant
- getTypeName() : CVC4::DatatypeConstructorArg
- getTypeNode() : CVC4::Type
- getTypePred() : CVC3::ValidityChecker
- getTypes() : CVC4::SExprType, CVC4::TupleType
- getUid() : CVC3::Expr
- getUnlockedCopy() : CVC4::LogicInfo
- getUnparsedText() : CVC4::parser::Input
- GetUnsatCoreCommand() : CVC4::GetUnsatCoreCommand
- getUnsignedInt() : CVC4::Integer
- getUnsignedLong() : CVC4::Integer
- getUserAssumptions() : CVC3::ValidityChecker
- getValue() : CVC3::ValidityChecker, CVC4::BitVector, CVC4::SExpr, CVC4::SmtEngine
- GetValueCommand() : CVC4::GetValueCommand
- getVariable() : CVC4::parser::Parser
- getVars() : CVC3::Expr, CVC4::PropagateRuleCommand, CVC4::RewriteRuleCommand
- getVersionExtra() : CVC4::Configuration
- getVersionMajor() : CVC4::Configuration
- getVersionMinor() : CVC4::Configuration
- getVersionRelease() : CVC4::Configuration
- getVersionString() : CVC4::Configuration
- gtExpr() : CVC3::ValidityChecker