Searched refs:synInst (Results 1 – 2 of 2) sorted by relevance
3328 G4_INST* synInst; in insertSyncToken() local3342 synInst->setToken(dstToken); in insertSyncToken()3345 synInst->setLexicalId(newInstID); in insertSyncToken()3366 synInst->setToken(srcToken); in insertSyncToken()3369 synInst->setLexicalId(newInstID); in insertSyncToken()3660 G4_INST* synInst; in insertSyncTokenPVC() local3675 synInst->setToken(dstToken); in insertSyncTokenPVC()3678 synInst->setLexicalId(newInstID); in insertSyncTokenPVC()3699 synInst->setToken(srcToken); in insertSyncTokenPVC()3702 synInst->setLexicalId(newInstID); in insertSyncTokenPVC()[all …]
560 void synInst(const Theorem & univ, const CDList<Expr>& allterms, size_t tBegin);