86     protected ShortCircuitOrNode canonicalizeNegation(LogicNode forX, LogicNode forY) {  in canonicalizeNegation()  argument
87         LogicNode xCond = forX;  in canonicalizeNegation()
101         if (xCond != forX || yCond != forY) {  in canonicalizeNegation()
109     public LogicNode canonical(CanonicalizerTool tool, LogicNode forX, LogicNode forY) {  in canonical()  argument
110         ShortCircuitOrNode ret = canonicalizeNegation(forX, forY);  in canonical()
115         if (forX == forY) {  in canonical()
125                     return LogicNegationNode.create(forX);  in canonical()
136                     return forX;  in canonical()
140         if (forX instanceof LogicConstantNode) {  in canonical()
141             if (((LogicConstantNode) forX).getValue() ^ isXNegated()) {  in canonical()
156                     return new LogicNegationNode(forX);  in canonical()
158                     return forX;  in canonical()
163         if (forX instanceof ShortCircuitOrNode) {  in canonical()
164             ShortCircuitOrNode inner = (ShortCircuitOrNode) forX;  in canonical()
172             if (inner.getX() == forX) {  in canonical()
174             } else if (inner.getY() == forX) {  in canonical()
180         TriState impliedForY = forX.implies(!isXNegated(), forY);  in canonical()
186                                             ? LogicNegationNode.create(forX)  in canonical()
187                                             : forX);  in canonical()
193             LogicNode sym = simplifyComparison(forX, forY);  in canonical()
201 …if (forX instanceof IntegerBelowNode && forY instanceof IntegerLessThanNode && !isXNegated() && !i…  in canonical()
202             IntegerBelowNode xNode = (IntegerBelowNode) forX;  in canonical()
210                     return forX;  in canonical()
220                 LogicNode sym = simplifyComparison(forX, yNode.getX());  in canonical()
232     private static LogicNode simplifyComparison(LogicNode forX, LogicNode forY) {  in simplifyComparison()  argument
233         LogicNode sym = simplifyComparisonOrdered(forX, forY);  in simplifyComparison()
235             return simplifyComparisonOrdered(forY, forX);  in simplifyComparison()
240     private static LogicNode simplifyComparisonOrdered(LogicNode forX, LogicNode forY) {  in simplifyComparisonOrdered()  argument
243         if (forX instanceof IntegerLessThanNode && forY instanceof IntegerLessThanNode) {  in simplifyComparisonOrdered()
244             IntegerLessThanNode xNode = (IntegerLessThanNode) forX;  in simplifyComparisonOrdered()