equal
deleted
inserted
replaced
82 override def equals(that: Any): Boolean = |
82 override def equals(that: Any): Boolean = |
83 that match { |
83 that match { |
84 case other: Name => node == other.node |
84 case other: Name => node == other.node |
85 case _ => false |
85 case _ => false |
86 } |
86 } |
87 override def toString: String = theory |
|
88 |
87 |
89 def is_theory: Boolean = !theory.isEmpty |
88 def is_theory: Boolean = !theory.isEmpty |
|
89 override def toString: String = if (is_theory) theory else node |
90 } |
90 } |
91 |
91 |
92 |
92 |
93 /* node overlays */ |
93 /* node overlays */ |
94 |
94 |