edu.umass.cs

cs691f

package cs691f

Package documentation

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. cs691f
  2. AnyRef
  3. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Type Members

  1. trait HasSym extends AnyRef

    Trait of objects that treated as unification variables.

  2. trait Subst extends AnyRef

    A substitution that binds Syms to arbitrary values.

  3. trait Sym extends AnyRef

    It is often necessary to generate names that are guaranteed fresh and the companion object method, Sym.fresh makes it easy to do so:

  4. case class UnifyException(msg: String) extends RuntimeException with Product with Serializable

    The exception thrown by unification when unification fails.

Value Members

  1. object Subst

  2. object Sym

  3. object Unification

    A generic unification algorithm.

  4. package hw

Inherited from AnyRef

Inherited from Any

Ungrouped