Packages

object ApplnInverse

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. ApplnInverse
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Type Members

  1. case class Enumerate(supp: Set[Term], baseContexts: Set[Vector[Term]]) extends ApplnInverse with Product with Serializable
  2. case class OuterFromSupport(supp: Set[Term]) extends Product with Serializable

Value Members

  1. case object Formal extends ApplnInverse with Product with Serializable

    inverts only formal applications