Here is a list of all struct and union fields 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
- 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::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
- getCommands()
: CVC4::DumpC
- 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
- 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
- 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
- getInt()
: CVC3::CLFlag
- getIntegerValue()
: CVC4::SExpr
- getInternalAssumptions()
: CVC3::ValidityChecker
- 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
, CVC4::SmtEngine
- 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
- 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
- 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
- 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
- getStream()
: CVC4::DumpC
- 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::Expr
, CVC4::ExprManager
, CVC4::parser::Parser
, 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
- 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
- GREATER
: CVC4::Cardinality
- gtExpr()
: CVC3::ValidityChecker