| version 1.10, 2019/08/28 23:27:34 |
version 1.11, 2019/09/19 06:29:48 |
|
|
| * 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/asir2018/include/ca.h,v 1.9 2019/08/21 00:37:47 noro Exp $ |
* $OpenXM: OpenXM_contrib2/asir2018/include/ca.h,v 1.10 2019/08/28 23:27:34 noro Exp $ |
| */ |
*/ |
| #include <stdio.h> |
#include <stdio.h> |
| #include <stdlib.h> |
#include <stdlib.h> |
| Line 538 typedef struct oDMM { |
|
| Line 538 typedef struct oDMM { |
|
| typedef struct oDMMstack { |
typedef struct oDMMstack { |
| int rank,ordtype; |
int rank,ordtype; |
| DMM *in; |
DMM *in; |
| |
LIST obj; |
| struct oDMMstack *next; |
struct oDMMstack *next; |
| } *DMMstack; |
} *DMMstack; |
| |
|
| Line 678 struct order_spec { |
|
| Line 679 struct order_spec { |
|
| int id; |
int id; |
| Obj obj; |
Obj obj; |
| int nv; |
int nv; |
| int ispot; /* 1 means Position over Term (Pos then Term) */ |
int module_ordtype; /* 0=TOP, 1=POT, 2=wPOT, 3=Schreyer */ |
| int pot_nelim; /* size of positions for pot-elimination order */ |
int pot_nelim; /* size of positions for pot-elimination order */ |
| int *top_weight; |
int *top_weight; |
| int module_rank; |
int module_rank; |
| int *module_top_weight; |
int *module_top_weight; |
| |
struct order_spec *base; /* for schreyer order */ |
| |
DMMstack dmmstack; |
| union { |
union { |
| int simple; |
int simple; |
| struct { |
struct { |
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to ca.h CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM_contrib2 / asir2018 / include