version 1.15, 2001/10/09 01:36:24 |
version 1.16, 2002/01/28 00:54:44 |
|
|
* 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/parse/parse.h,v 1.14 2001/09/05 09:01:28 noro Exp $ |
* $OpenXM: OpenXM_contrib2/asir2000/parse/parse.h,v 1.15 2001/10/09 01:36:24 noro Exp $ |
*/ |
*/ |
# if defined(VISUAL) |
# if defined(VISUAL) |
#include <time.h> |
#include <time.h> |
Line 690 DP_pairs criterion_F( DP_pairs d1 ); |
|
Line 690 DP_pairs criterion_F( DP_pairs d1 ); |
|
NODE updbase(NODE g,int t); |
NODE updbase(NODE g,int t); |
NODE /* of index */ remove_reducibles(NODE /* of index */ nd, int newdp ); |
NODE /* of index */ remove_reducibles(NODE /* of index */ nd, int newdp ); |
int dl_redble(DL dl1,DL dl2); |
int dl_redble(DL dl1,DL dl2); |
int dl_weight(DL dl); |
int dl_weyl_weight(DL dl); |
int gbcheck(NODE f); |
int gbcheck(NODE f); |
int membercheck(NODE f,NODE x); |
int membercheck(NODE f,NODE x); |
void dp_set_flag(Obj name,Obj value); |
void dp_set_flag(Obj name,Obj value); |