version 1.25, 2007/01/18 08:09:02 |
version 1.26, 2007/07/17 08:17:42 |
|
|
* DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE, |
* DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE, |
* PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE. |
* PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE. |
* |
* |
* $OpenXM: OpenXM_contrib2/asir2000/lib/gr,v 1.24 2006/08/09 02:43:38 noro Exp $ |
* $OpenXM: OpenXM_contrib2/asir2000/lib/gr,v 1.25 2007/01/18 08:09:02 noro Exp $ |
*/ |
*/ |
|
|
module gr $ |
module gr $ |
Line 1123 def p_nf(P,B,V,O) { |
|
Line 1123 def p_nf(P,B,V,O) { |
|
N = length(B); DB = newvect(N); |
N = length(B); DB = newvect(N); |
for ( I = N-1, IL = []; I >= 0; I-- ) { |
for ( I = N-1, IL = []; I >= 0; I-- ) { |
DB[I] = dp_ptod(B[I],V); |
DB[I] = dp_ptod(B[I],V); |
IL = cons(I,IL); |
if ( DB[I] ) IL = cons(I,IL); |
} |
} |
return dp_dtop(dp_nf(IL,DP,DB,1),V); |
return dp_dtop(dp_nf(IL,DP,DB,1),V); |
} |
} |
Line 1133 def p_true_nf(P,B,V,O) { |
|
Line 1133 def p_true_nf(P,B,V,O) { |
|
N = length(B); DB = newvect(N); |
N = length(B); DB = newvect(N); |
for ( I = N-1, IL = []; I >= 0; I-- ) { |
for ( I = N-1, IL = []; I >= 0; I-- ) { |
DB[I] = dp_ptod(B[I],V); |
DB[I] = dp_ptod(B[I],V); |
IL = cons(I,IL); |
if ( DB[I] ) IL = cons(I,IL); |
} |
} |
L = dp_true_nf(IL,DP,DB,1); |
L = dp_true_nf(IL,DP,DB,1); |
return [dp_dtop(L[0],V),L[1]]; |
return [dp_dtop(L[0],V),L[1]]; |