150     Vec_IntClear( &p->vTemp );  in Psr_ManReadList()
153         Vec_IntPush( &p->vTemp, iToken );  in Psr_ManReadList()
156 …if ( Vec_IntSize(&p->vTemp) == 0 )                return Psr_ManErrorSet(p, "Signal list is empty.…  in Psr_ManReadList()
162     Vec_IntClear( &p->vTemp );  in Psr_ManReadList2()
164         Vec_IntPushTwo( &p->vTemp, 0, iToken );  in Psr_ManReadList2()
165 …if ( Vec_IntSize(&p->vTemp) == 0 )                return Psr_ManErrorSet(p, "Signal list is empty.…  in Psr_ManReadList2()
170     Vec_IntClear( &p->vTemp );  in Psr_ManReadList3()
175         Vec_IntPush( &p->vTemp, iToken );  in Psr_ManReadList3()
180         Vec_IntPush( &p->vTemp, iToken );  in Psr_ManReadList3()
183 …if ( Vec_IntSize(&p->vTemp) == 0 )  return Psr_ManErrorSet(p, "Cannot read a list of formal/actual…  in Psr_ManReadList3()
184 …if ( Vec_IntSize(&p->vTemp) % 2  )  return Psr_ManErrorSet(p, "The number of formal/actual names i…  in Psr_ManReadList3()
259     Vec_IntAppend( &p->pNtk->vInouts, &p->vTemp );  in Psr_ManReadInouts()
265     Vec_IntAppend( &p->pNtk->vInputs, &p->vTemp );  in Psr_ManReadInputs()
271     Vec_IntAppend( &p->pNtk->vOutputs, &p->vTemp );  in Psr_ManReadOutputs()
278     Psr_NtkAddBox( p->pNtk, 1, 0, &p->vTemp ); // default const 0 function  in Psr_ManReadNode()
287     Psr_NtkAddBox( p->pNtk, iToken, 0, &p->vTemp );  in Psr_ManReadBox()
294     Vec_IntClear( &p->vTemp );  in Psr_ManReadLatch()
296     Vec_IntWriteEntry( &p->vTemp, 1, iToken );  in Psr_ManReadLatch()
299     Vec_IntWriteEntry( &p->vTemp, 0, iToken );  in Psr_ManReadLatch()
309     Psr_NtkAddBox( p->pNtk, -1, iToken, &p->vTemp ); // -1 stands for latch  in Psr_ManReadLatch()
315     Vec_IntClear( &p->vTemp );  in Psr_ManReadShort()
317     Vec_IntWriteEntry( &p->vTemp, 1, iToken );  in Psr_ManReadShort()
320     Vec_IntWriteEntry( &p->vTemp, 0, iToken );  in Psr_ManReadShort()
325     Psr_NtkAddBox( p->pNtk, iToken, 0, &p->vTemp );  in Psr_ManReadShort()