- v -

• val() : Term
• valid() : bm::bvector< Alloc >::iterator_base
• value() : bm::bvector< Alloc >::enumerator
• vars() : Term
• VecRef() : Term::VecRef
• verify() : BaseModelGenerator::VerifyExternalAtomCB
• verifyAllModuleCalls() : MLPSyntaxChecker
• verifyEAtomAnswerTuple() : BaseModelGenerator
• verifyEqual() : CounterVerification< EvalGraphT >
• VerifyExternalAnswerAgainstPosNegGuessInterpretationCB() : BaseModelGenerator::VerifyExternalAnswerAgainstPosNegGuessInterpretationCB
• verifyExternalAtom() : GenuineGuessAndCheckModelGenerator
• verifyExternalAtomByEvaluation() : GenuineGuessAndCheckModelGenerator , UnfoundedSetChecker
• verifyExternalAtomBySupportSets() : GenuineGuessAndCheckModelGenerator
• VerifyExternalAtomCB() : BaseModelGenerator::VerifyExternalAtomCB
• verifyExternalAtoms() : GenuineGuessAndCheckModelGenerator
• verifyExternalAtomsUsingCompleteSupportSets() : AnnotatedGroundProgram
• verifyPredInputsArityModuleCall() : MLPSyntaxChecker
• verifyPredOutputArityModuleCall() : MLPSyntaxChecker
• verifySyntax() : MLPSyntaxChecker
• visit() : Term