Searched refs:pSplitAnd (Results 1 – 9 of 9) sorted by relevance
170 in null (concatMap pSplitAnd (apSubst su (sProps sch)))336 asmps1 = concatMap pSplitAnd asmps0338 let gs1 = [ g { goal = p } | g <- gs0, p <- pSplitAnd (goal g)
346 Forall xs !$ (concatMap pSplitAnd (apSubst su ps)) !$ (apSubst su t)359 where hmm = case pSplitAnd (apSubst su p) of
220 do guard (null (concatMap pSplitAnd (apSubst su props)))
411 | ps <- pSplitAnd p -> return [ g { goal = pr } | pr <- ps ]573 return (concatMap pSplitAnd ps1)579 return [ g { goal = p } | g <- gs1, p <- pSplitAnd (goal g) ]
782 pSplitAnd :: Prop -> [Prop]783 pSplitAnd p0 = go [p0] function999 (PAnd, [t1,t2]) -> parens (commaSep (map (go 0) (t1 : pSplitAnd t2)))
254 norm g = [ g { goal = p } | p <- pSplitAnd (goal g) ]
56 let newPs = concatMap pSplitAnd $ map (simplify mempty)
864 qs = concatMap (pSplitAnd . apSubst su) here954 let asmps = concatMap pSplitAnd (apSubst su asmps1)
188 numAsmp = filter isNumeric (concatMap pSplitAnd ps)322 flatGoal g = [ g { goal = p } | p <- pSplitAnd (goal g) ]