- v -

• val : option
• varAuxPred : QueryPlugin::CtxData
• varCounterNeg : CDNLSolver
• varCounterPos : CDNLSolver
• variable : HexGrammarBase< Iterator, Skipper >
• variableIDs : QueryPlugin::CtxData
• variableOccursIn : LiberalSafetyChecker
• variableOutputArity : ExtSourceProperties
• variables : AggregateAtom
• varnr : ConditionalParserModuleSemantics
• vec_ : Term::VecRef
• verboseLevel : Configuration
• verified : BaseModelGenerator::VerifyExternalAtomCB , ExternalAtomVerificationTree::Node
• verifiedAuxes : GenuineGuessAndCheckModelGenerator
• verifyWatchList : GenuineGuessAndCheckModelGenerator
• versionMajor : PluginInterface
• versionMicro : PluginInterface
• versionMinor : PluginInterface