/* ---------------------------------------------------------- 
%   (C)1992 Institute for New Generation Computer Technology 
%       (Read COPYRIGHT for detailed information.) 
----------------------------------------------------------- */
ICOT$B%U%j!<%=%U%H%&%'%"(B No.33  $B!X7ABVAG<-=q!Y(B

---------------------------------------------------------------
$BC10L@Z$j%W%m%0%i%`!!!A$=$N#3!&(Bmain$B4X?t!A(B

$B!&C10L@Z$j%W%m%0%i%`$N(Bmain$B4X?t$N%U%!%$%kL>$O!"(B"sepa*.c"$B$G$"$k!#$3$N%U%!%$%k$O(B
$B!!$D$.$N#4$D$NItJ,$+$i9=@.$5$l$F$$$k!#(B

$B!!!!!!%$%s%/%k!<%I%U%!%$%k(B
$B!!!!!!Bg0hJQ?t$NDj5A(B
$B!!!!!!6I=jJQ?t$NDj5A(B
$B!!!!!!4X?tK\BN(B

main()

$B!JJQ?t!K(B
$B!!!!(Bchar cc[2]$B!!!!!!!!!!!!A43QJ8;z$N$?$a$NG[Ns(B
$B!!!!(Bchar initstr[MAXIN]$B!!(B $B2r@OBP>]$H$J$kF~NOF|K\8lJ8(B
$B!!!!(Bchar kiji_name[80]$B!!!!?7J95-;v%G!<%?%U%!%$%k$N%U%!%$%kL>(B
$B!!!!(Bchar yesno[3]$B!!!!!!!!(B $B%3%^%s%I%i%$%s$+$i(Byes/no$B$rF~NO$9$k$H$-$K;HMQ(B

$B!!!!(Bint  cc1, cc2         $BJ8;z%3!<%I$r3JG<$9$kJQ?t(B
$B!!!!(Bint  num_sentence     $BF~NOF|K\8lJ8$N?t(B
$B!!!!(Bint  max_num_sentence $BF~NOF|K\8lJ8$N>e8BCM(B
$B!!!!(Bint  check$B!!!!!!!!!!!!ITO"B3ItJ,$NM-L5$r%A%'%C%/$9$kCM(B

$B!!!!(Bchar strtmp[10]$B!!!!!!(B $B%3%^%s%I%i%$%s$+$i?tCM$rFI$_9~$`$H$-$K0l;~;HMQ!!!!!!!!!!!!(Bint  inttmp$B!!!!!!!!!!(B $BF1>e!#(B

$B!J%"%k%4%j%:%`!K(B

$B!!(B 1. $B7ABVAG@\B3%F!<%V%k$r%a%b%jCf$KFI$_9~$`!#(B
$B!!!!!!!!!!(Binit_conjtabl(0);
$B!!!!!!!!!!(Bset_conjtabl();

$B!!(B 2. $B%f!<%6JdB-<-=q$r%a%b%jCf$KFI$_9~$`!#(B
$B!!!!!!!!!!(Bset_suppldata();

$B!!(B 3. $B%f!<%6F~NO$K$h$C$F$$$/$D$+$N:GBgCM$r@_Dj$9$k!#$?$@$7!"2~9T$N$_$,F~NO$5$l(B
$B!!!!!!$?>l9g$O!"4{DjCM$,@_Dj$5$l$k!#(B
$B!!!!!!!!!!(Bmax_num_sentence$B!!F~NO$r<u$1IU$1$kF|K\8lJ8$N?t$N>e8BCM(B
$B!!!!!!!!!!(Bmax_nbest $B!!!!!!!!:GE,2r$NAm?t$N>e8BCM(B
$B!!!!!!!!!!(Bmax_pass_time$B!!(B $B!!J8F,$+$i7ABVAG%M%C%H%o!<%/$rC)$k$K$"$?$j!"C)$C$?7P(B
$B!!!!!!!!!!!!!!!!!!!!!!!!!!!!O)$N?t$N>e8BCM(B

$B!!(B 4. $B2r@O$9$kF|K\8lJ8$r%3%^%s%I%i%$%s$+$iF~NO$9$k$+!"$9$G$KMQ0U$5$l$?%U%!%$%k(B
$B!!!!!!$+$iF~NO$9$k$+$r%f!<%6$KA*Br$5$;$k!#(B

$B!!(B 5. $BF~=PNO%U%!%$%k$r%*!<%W%s$9$k!#(B

$B!!(B 6. $B%f!<%6F~NO!JJQ?t(Byesno$B$NCM!K$K1~$8$F!"J8$r%3%^%s%I%i%$%s$+$iF~NO$9$k$+%U(B
$B!!!!!!%!%$%k$+$iF~NO$9$k$+$G=hM}$rJ,4t$5$;$k!#(B

$B!!(B 7. $BF~NOJ8$ND9$5$,>e8BCM(B(MAXIN)$B$rD6$($F$$$J$$$+$I$&$+$r3NG'$9$k!#D6$($F$$$l(B
$B!!!!!!$P!"$3$NJ8$O$3$l0J>e$N=hM}$O$;$:!"<!$NF~NOJ8$X=hM}$r?J$a$k!#(B

$B!!(B 8. $B4X?t(Bmake_nodes$B$KF~NOJ8$r0z$-EO$9!aF~NOJ8$K4^$^$l$k$9$Y$F$N7ABVAGJ8;zNs$r(B
$B!!!!!!8+$D$1=P$7!"7ABVAG%N!<%I$H$7$FG[Ns(Bxnode$B$KEPO?$9$k!#(B

$B!!(B 9. $B4X?t(Bcheck_and_make_net$B$K7ABVAG%N!<%I$NG[Ns(Bxnode$B$r0z$-EO$9!aJ8;zNs$N0LCV(B
$B!!!!!!$H7ABVAG4V$N@\B34X78$rD4$Y$F!"2DG=$J@\B3$r$9$Y$F8+$D$1=P$7!"7ABVAG%N(B
$B!!!!!!!<%I$N$"$$$@$K%]%$%s%?$rD%$C$F7ABVAG%M%C%H%o!<%/$r@8@.$9$k!#(B

$B!!(B10. $B4X?t(Bcheck_disjunction$B$K7ABVAG%N!<%I$NG[Ns(Bxnode$B$r0z$-EO$9!a7ABVAG%M%C%H%o(B
$B!!!!!!!<%/$KITO"B3E@$,$J$$$+$I$&$+$rD4$Y$k!#ITO"B3E@$,$"$l$P!"$3$NJ8$O$3$l0J>e(B
$B!!!!!!$N=hM}$O$;$:!"<!$NF~NOJ8$X=hM}$r?J$a$k!#(B

$B!!(B11. $B4X?t(Bfind_solutions$B$K7ABVAG%N!<%I$NG[Ns(Bxnode$B$r0z$-EO$9!aJ8F,$r5/E@$H$7!"(B
$B!!!!!!2DG=$J@\B3$r$?$I$C$FJ8Kv$KE~C#$G$-$k7PO)$rA42rC5:w$9$k!#(B

$B!!(B12. $B2r$,8+$D$+$l$P!":GE,2r$r;XDj$7$?8D?t$@$1=PNO$9$k!#2r$,8+$D$+$i$J$1$l$P!"(B
$B!!!!!!!V2r$J$7!W$r=PNO$9$k!#(B

$B!!(B13. $B<!$NF~NOJ8$N=hM}$X?J$`!#(B

$B!!(B14. $BF~NOJ8$9$Y$F$r=hM}$7=*$($?$+!"F~NOJ8$N?t$,>e8BCM(B(max_num_sentence)$B$rD6$((B
$B!!!!!!$?$+$7$?>l9g$O!"=hM}$7$?F~NOJ8$NAm?t$r=PNO$7!"F~=PNO%U%!%$%k$r%/%m!<%:$7(B
$B!!!!!!$F%W%m%0%i%`$r=*N;$9$k!#(B

