Lines Matching refs:VInfo
962 void pushVariant(const TransVariant &VInfo, bool IsRead);
1139 pushVariant(const TransVariant &VInfo, bool IsRead) { in pushVariant() argument
1141 PredTransition &Trans = TransVec[VInfo.TransVecIdx]; in pushVariant()
1145 if (VInfo.ProcIdx != 0) in pushVariant()
1146 Trans.ProcIndices.assign(1, VInfo.ProcIdx); in pushVariant()
1149 if (VInfo.VarOrSeqDef->isSubClassOf("SchedVar")) { in pushVariant()
1150 Record *PredDef = VInfo.VarOrSeqDef->getValueAsDef("Predicate"); in pushVariant()
1151 Trans.PredTerm.push_back(PredCheck(IsRead, VInfo.RWIdx,PredDef)); in pushVariant()
1152 RecVec SelectedDefs = VInfo.VarOrSeqDef->getValueAsListOfDefs("Selected"); in pushVariant()
1156 assert(VInfo.VarOrSeqDef->isSubClassOf("WriteSequence") && in pushVariant()
1158 SelectedRWs.push_back(SchedModels.getSchedRWIdx(VInfo.VarOrSeqDef, IsRead)); in pushVariant()
1161 const CodeGenSchedRW &SchedRW = SchedModels.getSchedRW(VInfo.RWIdx, IsRead); in pushVariant()