[問題] aiger格式

[puerpuella (柏亨)]

翻了一下http://fmv.jku.at/aiger/的說明檔，不是很明白其中兩段話的意思

Header:

An unsigned respectively non negative integer is either '0' or a strictly
  positive ASCII encoded digit followed by a sequence of arbitrary digits
  including '0'.
這樣的意思是說正數的開頭不能是0嗎..?

ASCII Format:
In order to be well formed, the 'I' inputs, the current state literal of
  the 'L' latches, e.g. the pseudo-primary inputs, and the LHS of the 'A'
  AND gates are all different and define exactly 'I + L + A' literals.  The
  other literals, except for the two constants '0' and '1', are undefined
  and can not be used as output, as next state literal, nor on the RHS of an
  AND.
undefine不能拿來作AND的RHS的話就沒有no-PI的floating了吧(這樣好像也不錯)

--
※ 發信站: 批踢踢實業坊(ptt.cc) 
◆ From: 140.112.245.114
推 ric2k1:意思是可為任何正整數或 0,長度不限的整數, e.g. 038, 308
→ ric2k1:不過大家可以不用管大於 MAX_UINT 這種問題...