equal
deleted
inserted
replaced
77 } |
77 } |
78 |
78 |
79 |
79 |
80 /* pseudo Set methods */ |
80 /* pseudo Set methods */ |
81 |
81 |
82 def iterator: Iterator[String] = content(main_tree, Nil).sortWith(_ <= _).iterator |
82 def iterator: Iterator[String] = content(main_tree, Nil).sorted.iterator |
83 |
83 |
84 override def toString: String = iterator.mkString("Lexicon(", ", ", ")") |
84 override def toString: String = iterator.mkString("Lexicon(", ", ", ")") |
85 |
85 |
86 def empty: Lexicon = Lexicon.empty |
86 def empty: Lexicon = Lexicon.empty |
87 def isEmpty: Boolean = main_tree.branches.isEmpty |
87 def isEmpty: Boolean = main_tree.branches.isEmpty |