|
chart(imp_chart);
step_imp_chart(imp_chart);
final_state_table(imp_chart);
print_final_state_table();
}
void main(int argc, char *argv[])
{
if(argc <= 1)
do{
printf(\"/nfilename input : \");
}while(!scanf(\"%s\",argv[1]));
proc_imp_chart(argv[1]);
}
< 등가항 제거를 위한 implication chart 구성
|
|
메뉴펼치기
