Searched refs:kw_assume (Results 1 – 2 of 2) sorted by relevance
1134 kw_assume = &IdentTable.get("assume"); in AdditionalKeywords()1311 kw_assume, kw_automatic, in AdditionalKeywords()1505 IdentifierInfo *kw_assume; member1881 Prev->isOneOf(tok::kw_restrict, kw_assert, kw_assume, kw_cover)); in isVerilogHierarchy()
1445 Keywords.kw_assume, Keywords.kw_cover)) { in parseStructuralElement() 2816 Keywords.kw_assume, Keywords.kw_cover))) && in parseIfThenElse()