cache.c#369
    if(proj->discrim != CES_VAR) return 0;
ceconstraints.h#24
CES_VAR=11,CES_FCN=12,CES_CONST=13,
constraints.c#67
	if(proj->discrim != CES_VAR) continue; /* ignore functions */
#117
    ASSERT((proj->discrim == CES_VAR
#141
    ASSERT(proj->discrim == CES_VAR);
#485
    ASSERT((proj->discrim == CES_VAR));
#542
        if(p1->discrim != CES_VAR) continue; /* dont try to unify functions */
#547
	    if(p2->discrim != CES_VAR) continue;
#564
        if(p1->discrim != CES_VAR) continue; /* dont try to unify functions */
#570
	    if(p2->discrim != CES_VAR) continue;
#592
            if(target->discrim != CES_VAR)
#646
    DCEvar* var  = (DCEvar*)dcecreate(CES_VAR);
#648
    proj->discrim = CES_VAR;
#731
    projection->discrim = CES_VAR;
#732
    projection->var = (DCEvar*)dcecreate(CES_VAR);
#770
	if(p1 == NULL || p1->discrim != CES_VAR) continue;
#824
    ASSERT(projection->discrim == CES_VAR);
dceconstraints.c#261
        if(target->discrim != CES_VAR) continue;
#265
	    if(p2->discrim != CES_VAR) continue;
#288
    ASSERT((merged->discrim == CES_VAR && addition->discrim == CES_VAR));
#368
    case CES_VAR: {
#398
        case CES_VAR:
#411
	case CES_VAR:
#465
    case CES_VAR: {
#486
        case CES_VAR: dcefree((DCEnode*)target->var); break;
#495
	case CES_VAR: dcefree((DCEnode*)target->var); break;
#650
    case CES_VAR: {
#687
        case CES_VAR:
#700
	case CES_VAR:
#790
    case CES_VAR: {
#798
	if(value->discrim == CES_VAR)
#813
	if(projection->discrim == CES_VAR)
#869
    case CES_VAR: {
#947
    if(p->discrim == CES_VAR && p->var != NULL && p->var->segments != NULL) {
#1028
    case CES_VAR: return "VAR";
#1091
    case CES_VAR: {
#1136
        case CES_VAR:
#1151
	case CES_VAR:
dceparse.c#83
    if(v==NULL) v = (DCEvar*)dcecreate(CES_VAR);
#261
    case CES_VAR: ncvalue->var = (DCEvar*)val; break;
#273
    DCEvar* v = (DCEvar*)dcecreate(CES_VAR);

HyperKWIC - Version 7.20DA executed at 11:37 on 27 Oct 2017  | Polyhedron Solutions - INTERNAL USE | COMMERCIAL  (Any O/S) SN 4AKIed