Searched refs:lessOperation (Results 1 – 1 of 1) sorted by relevance
302 CustomLessThanOp* lessOperation = new CustomLessThanOp(); in createNextChild() local303 lessOperation->setLeftValue(absOperation); in createNextChild()304 lessOperation->setRightValue(epsilonLiteral); in createNextChild()307 parenOperation->setChild(lessOperation); in createNextChild()