Lines Matching defs:is_empty
13 val is_empty: T -> bool
23 val is_empty: 'a T -> bool
97 fun is_empty (Keys tab) = Table.is_empty tab;
124 fun is_empty (Graph tab) = Table.is_empty tab;
190 fun minimals G = fold_graph (fn (m, (_, (preds, _))) => Keys.is_empty preds ? cons m) G [];
191 fun maximals G = fold_graph (fn (m, (_, (_, succs))) => Keys.is_empty succs ? cons m) G [];
192 fun is_minimal G x = Keys.is_empty (imm_preds G x);
193 fun is_maximal G x = Keys.is_empty (imm_succs G x);