150     Vec_IntClear( &p->vTemp );  in Prs_ManReadList()
153         Vec_IntPush( &p->vTemp, iToken );  in Prs_ManReadList()
156 …if ( Vec_IntSize(&p->vTemp) == 0 )                return Prs_ManErrorSet(p, "Signal list is empty.…  in Prs_ManReadList()
162     Vec_IntClear( &p->vTemp );  in Prs_ManReadList2()
164         Vec_IntPushTwo( &p->vTemp, 0, iToken );  in Prs_ManReadList2()
165 …if ( Vec_IntSize(&p->vTemp) == 0 )                return Prs_ManErrorSet(p, "Signal list is empty.…  in Prs_ManReadList2()
170     Vec_IntClear( &p->vTemp );  in Prs_ManReadList3()
175         Vec_IntPush( &p->vTemp, iToken );  in Prs_ManReadList3()
180         Vec_IntPush( &p->vTemp, iToken );  in Prs_ManReadList3()
183 …if ( Vec_IntSize(&p->vTemp) == 0 )  return Prs_ManErrorSet(p, "Cannot read a list of formal/actual…  in Prs_ManReadList3()
184 …if ( Vec_IntSize(&p->vTemp) % 2  )  return Prs_ManErrorSet(p, "The number of formal/actual names i…  in Prs_ManReadList3()
259     Vec_IntAppend( &p->pNtk->vInouts, &p->vTemp );  in Prs_ManReadInouts()
265     Vec_IntAppend( &p->pNtk->vInputs, &p->vTemp );  in Prs_ManReadInputs()
271     Vec_IntAppend( &p->pNtk->vOutputs, &p->vTemp );  in Prs_ManReadOutputs()
278     Prs_NtkAddBox( p->pNtk, 1, 0, &p->vTemp ); // default const 0 function  in Prs_ManReadNode()
287     Prs_NtkAddBox( p->pNtk, iToken, 0, &p->vTemp );  in Prs_ManReadBox()
294     Vec_IntClear( &p->vTemp );  in Prs_ManReadLatch()
296     Vec_IntWriteEntry( &p->vTemp, 1, iToken );  in Prs_ManReadLatch()
299     Vec_IntWriteEntry( &p->vTemp, 0, iToken );  in Prs_ManReadLatch()
309     Prs_NtkAddBox( p->pNtk, -1, iToken, &p->vTemp ); // -1 stands for latch  in Prs_ManReadLatch()
315     Vec_IntClear( &p->vTemp );  in Prs_ManReadShort()
317     Vec_IntWriteEntry( &p->vTemp, 1, iToken );  in Prs_ManReadShort()
320     Vec_IntWriteEntry( &p->vTemp, 0, iToken );  in Prs_ManReadShort()
325     Prs_NtkAddBox( p->pNtk, iToken, 0, &p->vTemp );  in Prs_ManReadShort()