Searched refs:CAI (Results 1 – 4 of 4) sorted by relevance
2728 auto CAI = CandidateCall.arg_begin(); in analyze() local2730 assert(CAI != CandidateCall.arg_end()); in analyze()2731 if (Constant *C = dyn_cast<Constant>(CAI)) in analyze()2734 Value *PtrArg = *CAI; in analyze()2745 ++CAI; in analyze()
1747 auto CAI = CB.arg_begin(); in handleCallArguments() local1749 ++AI, ++CAI) { in handleCallArguments()1759 ValueLatticeElement CallArg = getStructValueState(*CAI, i); in handleCallArguments()1764 mergeInValue(&*AI, getValueState(*CAI), getMaxWidenStepsOpts()); in handleCallArguments()
813 T. A. Dwyer Teacher/student authored CAI using the991 generative CAI tutor . . . . . . . . . . 472--473
5669 title = "Teacher\slash student authored {CAI} using the {NEWBASIC} system",5682 …keywords = "CAI; capability; CATALYST; computer aided instruction; flexible CAI scan; interact…7038 title = "Individualizing instruction in a generative {CAI} tutor",7051 …r aided instruction; computer assisted instructions; education; generative CAI tutor; machine lang…