at.logic.skeptik.judgment.immutable

SetSequent

class SetSequent extends ASequent

Linear Supertypes
ASequent, Judgment, AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Hide All
  2. Show all
  1. SetSequent
  2. ASequent
  3. Judgment
  4. AnyRef
  5. Any
Visibility
  1. Public
  2. All

Instance Constructors

  1. new SetSequent (ant: Set[E], suc: Set[E])

Type Members

  1. type Cedent = AnyRef { ... /* 3 definitions in type refinement */ }

    Definition Classes
    ASequent

Value Members

  1. def != (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef

  2. def != (arg0: Any): Boolean

    Attributes
    final
    Definition Classes
    Any

  3. def ## (): Int

    Attributes
    final
    Definition Classes
    AnyRef → Any

  4. def + (e: Either[E, E]): SetSequent

  5. def + (f: E): SetSequent

  6. def +: (f: E): SetSequent

  7. def - (f: E): SetSequent

  8. def -: (f: E): SetSequent

  9. def == (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef

  10. def == (arg0: Any): Boolean

    Attributes
    final
    Definition Classes
    Any

  11. val ant : Set[E]

    Definition Classes
    SetSequent → ASequent

  12. def asInstanceOf [T0] : T0

    Attributes
    final
    Definition Classes
    Any

  13. def canEqual (other: Any): Boolean

    Definition Classes
    ASequent

  14. def clone (): AnyRef

    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()

  15. def contains (e: Either[E, E]): Boolean

    Definition Classes
    ASequent

  16. def contains (f: E): Boolean

    Definition Classes
    ASequent

  17. def eq (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef

  18. def equals (v: Any): Boolean

    Definition Classes
    ASequent → AnyRef → Any

  19. def finalize (): Unit

    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()

  20. def getClass (): java.lang.Class[_]

    Attributes
    final
    Definition Classes
    AnyRef → Any

  21. def hashCode (): Int

    Definition Classes
    ASequent → AnyRef → Any

  22. def intersect (other: SetSequent): SetSequent

  23. def isInstanceOf [T0] : Boolean

    Attributes
    final
    Definition Classes
    Any

  24. def ne (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef

  25. def notify (): Unit

    Attributes
    final
    Definition Classes
    AnyRef

  26. def notifyAll (): Unit

    Attributes
    final
    Definition Classes
    AnyRef

  27. def size : Int

    Definition Classes
    ASequent → Judgment

  28. val suc : Set[E]

    Definition Classes
    SetSequent → ASequent

  29. def synchronized [T0] (arg0: ⇒ T0): T0

    Attributes
    final
    Definition Classes
    AnyRef

  30. def toString (): String

    Definition Classes
    ASequent → AnyRef → Any

  31. def wait (): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

  32. def wait (arg0: Long, arg1: Int): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

  33. def wait (arg0: Long): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

Inherited from ASequent

Inherited from Judgment

Inherited from AnyRef

Inherited from Any