Union

Instance Constructors

new Union(trees: NameTree[T]*)

Value Members

final def !=(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def !=(arg0: Any): Boolean

Definition Classes
Any
final def ##(): Int

Definition Classes
AnyRef → Any
final def ==(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def ==(arg0: Any): Boolean

Definition Classes
Any
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def eval[U >: T]: Option[Set[U]]

Evaluate this NameTree with the default evaluation strategy.
Evaluate this NameTree with the default evaluation strategy. A tree is evaluated recursively, Alt nodes are evaluated by selecting its first nonnegative child.

Definition Classes
NameTree
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
def map[U](f: (T) ⇒ U): NameTree[U]

Use f to map a T-typed NameTree to a U-typed one.
Use f to map a T-typed NameTree to a U-typed one.

Definition Classes
NameTree
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
def show(implicit showable: Showable[T]): String

A parsable representation of the name tree; a NameTree is recovered from this string by NameTree.read.
A parsable representation of the name tree; a NameTree is recovered from this string by NameTree.read.

Definition Classes
NameTree
def simplified: NameTree[T]

A simplified version of this NameTree -- the returned name tree is equivalent vis-à-vis evaluation.
A simplified version of this NameTree -- the returned name tree is equivalent vis-à-vis evaluation. The returned name also represents a fixpoint; in other words:
```
tree.simplified == tree.simplified.simplified
```
Definition Classes
NameTree
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
Union → AnyRef → Any
val trees: NameTree[T]*
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )

case class Union[+T](trees: NameTree[T]*) extends NameTree[T] with Product with Serializable

Instance Constructors

new Union(trees: NameTree[T]*)

Value Members

final def !=(arg0: AnyRef): Boolean

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: AnyRef): Boolean

final def ==(arg0: Any): Boolean

final def asInstanceOf[T0]: T0

def clone(): AnyRef

final def eq(arg0: AnyRef): Boolean

def eval[U >: T]: Option[Set[U]]

def finalize(): Unit

final def getClass(): Class[_]

final def isInstanceOf[T0]: Boolean

def map[U](f: (T) ⇒ U): NameTree[U]

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

def show(implicit showable: Showable[T]): String

def simplified: NameTree[T]

final def synchronized[T0](arg0: ⇒ T0): T0

def toString(): String

val trees: NameTree[T]*

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit

Inherited from Serializable

Inherited from Serializable

Inherited from Product

Inherited from Equals

Inherited from NameTree[T]

Inherited from AnyRef

Inherited from Any

Ungrouped