Lines Matching refs:isProperty
162 bool isProperty() const { return IsSpecial; } in isProperty() function in __anona14c30040111::LatticeCell
463 if (isProperty()) in convertToProperty()
481 if (isProperty()) { in print()
534 if (L.isProperty()) in meet()
553 if (!isProperty()) { in add()
604 if (isProperty()) in properties()
1113 bool IsProp1 = LS1.isProperty(); in evaluateCMPrr()
1114 bool IsProp2 = LS2.isProperty(); in evaluateCMPrr()
1151 if (LS.isProperty()) in evaluateCMPri()
1178 if (LS.isProperty()) in evaluateCMPrp()
1386 if (LS2.isBottom() || LS2.isProperty()) in evaluateANDrr()
1416 if (LS1.isBottom() || LS1.isProperty()) in evaluateANDri()
1453 if (LS2.isBottom() || LS2.isProperty()) in evaluateORrr()
1483 if (LS1.isBottom() || LS1.isProperty()) in evaluateORri()
1510 if (LS1.isProperty()) { in evaluateXORrr()
1515 if (LS2.isProperty()) { in evaluateXORrr()
1539 if (LS1.isProperty()) { in evaluateXORri()
1572 if (LS1.isProperty()) in evaluateZEXTr()
1603 if (LS1.isBottom() || LS1.isProperty()) in evaluateSEXTr()
1668 if (LS1.isBottom() || LS1.isProperty()) in evaluateCLBr()
1703 if (LS1.isBottom() || LS1.isProperty()) in evaluateCTBr()
1742 if (LS1.isProperty()) { in evaluateEXTRACTr()
1797 if (LS1.isBottom() || LS1.isProperty()) in evaluateSplatr()
2221 if (Input.isProperty()) { in evaluate()
2522 if (LSL.isProperty() || LSH.isProperty()) in evaluateHexRSEQ32()