实现函数

函数描述

parser_aig()

读取AIG文件，并打印第一行

determine_input_order()

确定输入序

level()

确定节点的所在层次

find_partial_products()

标记部分乘积的变量及数量