Searched refs:normKind (Results 1 – 1 of 1) sorted by relevance
5542 Kind normKind = negated ? negateKind(atomKind) : atomKind; in decomposeLiteral() local5544 if(normKind == GEQ || normKind == GT){ in decomposeLiteral()5546 normKind = (normKind == GEQ) ? LEQ : LT; in decomposeLiteral()5552 << lit << "(" << normKind << "*" << dir << ")"<< endl in decomposeLiteral()5564 if(normKind == LT){ in decomposeLiteral()5569 k = normKind; in decomposeLiteral()