Searched refs:handlePB (Results 1 – 2 of 2) sorted by relevance
862 | hasPB = handlePB pb args'1234 handlePB :: PBOp -> [String] -> String1235 handlePB (PB_AtMost k) args = "((_ at-most " ++ show k … function1236 handlePB (PB_AtLeast k) args = "((_ at-least " ++ show k … function1237 handlePB (PB_Exactly k) args = "((_ pbeq " ++ unwords (map show (k : replicate (length args) 1)… function1238 handlePB (PB_Eq cs k) args = "((_ pbeq " ++ unwords (map show (k : cs)) … function1239 handlePB (PB_Le cs k) args = "((_ pble " ++ unwords (map show (k : cs)) … function1240 handlePB (PB_Ge cs k) args = "((_ pbge " ++ unwords (map show (k : cs)) … function
607 handlePB :: PBOp -> [Doc] -> Doc608 handlePB o args = case o of function741 p (PseudoBoolean pb) as = handlePB pb as