Lines Matching refs:IntCC

3 (model IntCC (enum
48                 ((IntCC.Equal) (if (= x y) #x01 #x00))
49                 ((IntCC.NotEqual) (if (not (= x y)) #x01 #x00))
50                 ((IntCC.SignedGreaterThan) (if (bvsgt x y) #x01 #x00))
51                 ((IntCC.SignedGreaterThanOrEqual) (if (bvsge x y) #x01 #x00))
52                 ((IntCC.SignedLessThan) (if (bvslt x y) #x01 #x00))
53                 ((IntCC.SignedLessThanOrEqual) (if (bvsle x y) #x01 #x00))
54                 ((IntCC.UnsignedGreaterThan) (if (bvugt x y) #x01 #x00))
55                 ((IntCC.UnsignedGreaterThanOrEqual) (if (bvuge x y) #x01 #x00))
56                 ((IntCC.UnsignedLessThan) (if (bvult x y) #x01 #x00))
57                 ((IntCC.UnsignedLessThanOrEqual) (if (bvule x y) #x01 #x00)))))
61             (= c (IntCC.Equal))
62             (= c (IntCC.NotEqual))
63             (= c (IntCC.UnsignedGreaterThanOrEqual))
64             (= c (IntCC.UnsignedGreaterThan))
65             (= c (IntCC.UnsignedLessThanOrEqual))
66             (= c (IntCC.UnsignedLessThan))
67             (= c (IntCC.SignedGreaterThanOrEqual))
68             (= c (IntCC.SignedGreaterThan))
69             (= c (IntCC.SignedLessThanOrEqual))
70             (= c (IntCC.SignedLessThan)))))