Searched refs:mkUnion (Results 1 – 11 of 11) sorted by relevance
554 mkUnion :: Doc -> Doc -> Doc555 mkUnion Empty _ = Empty function556 mkUnion p q = p `union_` q function752 = oneLiner (nilBeside g (reduceDoc rest)) `mkUnion`819 `mkUnion` nilAboveNest False k (fill g (y:ys))
547 mkUnion :: Doc a -> Doc a -> Doc a548 mkUnion Empty _ = Empty function549 mkUnion p q = p `union_` q function761 = oneLiner (nilBeside g (reduceDoc rest)) `mkUnion`828 `mkUnion` nilAboveNest False k (fill g (y:ys))
1075 let pr = mkUnion pr_pos' pr_neg1097 mkUnion :: PartialResult -> PartialResult -> PartialResult1098 mkUnion = mappend function
311 Node mkUnion( TypeNode tn, std::vector< Node >& locs );
1169 d_reference_bound_max[tn] = mkUnion( tn, d_type_references_all[tn] ); in getBaseLabel()1228 Node TheorySep::mkUnion( TypeNode tn, std::vector< Node >& locs ) { in mkUnion() function in CVC4::theory::sep::TheorySep
796 `mkUnion` 838 `mkUnion`
2234 public final <R extends Sort> ReExpr<R> mkUnion(Expr<ReSort<R>>... t) in mkUnion() method in Context
2194 public <R extends Sort> ReExpr<R> mkUnion(Expr<ReSort<R>>... t) in mkUnion() method in Context