162     bool isProperty() const { return IsSpecial; }  in isProperty()  function in __anon11e3d3c40111::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()
1119   bool IsProp1 = LS1.isProperty();  in evaluateCMPrr()
1120   bool IsProp2 = LS2.isProperty();  in evaluateCMPrr()
1157   if (LS.isProperty())  in evaluateCMPri()
1184   if (LS.isProperty())  in evaluateCMPrp()
1392   if (LS2.isBottom() || LS2.isProperty())  in evaluateANDrr()
1422   if (LS1.isBottom() || LS1.isProperty())  in evaluateANDri()
1459   if (LS2.isBottom() || LS2.isProperty())  in evaluateORrr()
1489   if (LS1.isBottom() || LS1.isProperty())  in evaluateORri()
1516   if (LS1.isProperty()) {  in evaluateXORrr()
1521   if (LS2.isProperty()) {  in evaluateXORrr()
1545   if (LS1.isProperty()) {  in evaluateXORri()
1578   if (LS1.isProperty())  in evaluateZEXTr()
1609   if (LS1.isBottom() || LS1.isProperty())  in evaluateSEXTr()
1674   if (LS1.isBottom() || LS1.isProperty())  in evaluateCLBr()
1709   if (LS1.isBottom() || LS1.isProperty())  in evaluateCTBr()
1748   if (LS1.isProperty()) {  in evaluateEXTRACTr()
1803   if (LS1.isBottom() || LS1.isProperty())  in evaluateSplatr()
2227   if (Input.isProperty()) {  in evaluate()
2528   if (LSL.isProperty() || LSH.isProperty())  in evaluateHexRSEQ32()