cache.c#369    if(proj->discrim != CES_VAR) return 0;
ceconstraints.h#24CES_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    DCEvarvar  = (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_VARdcefree((DCEnode*)target->var); break;
#495 case CES_VARdcefree((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==NULLv = (DCEvar*)dcecreate(CES_VAR);
#261    case CES_VARncvalue->var = (DCEvar*)val; break;
#273    DCEvarv = (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