equal
deleted
inserted
replaced
66 } |
66 } |
67 |
67 |
68 |
68 |
69 /* pseudo Set methods */ |
69 /* pseudo Set methods */ |
70 |
70 |
71 def iterator: Iterator[String] = content(main_tree, Nil).sort(_ <= _).iterator |
71 def iterator: Iterator[String] = content(main_tree, Nil).sortWith(_ <= _).iterator |
72 |
72 |
73 override def toString: String = iterator.mkString("Lexicon(", ", ", ")") |
73 override def toString: String = iterator.mkString("Lexicon(", ", ", ")") |
74 |
74 |
75 def empty: Lexicon = Lexicon.empty |
75 def empty: Lexicon = Lexicon.empty |
76 def isEmpty: Boolean = main_tree.branches.isEmpty |
76 def isEmpty: Boolean = main_tree.branches.isEmpty |