Packages

trait ExprSetTac_1[A, t, Ns1[_, _], Ns2[_, _, _]] extends ExprSetTacOps_1[A, t, Ns1, Ns2]

Source
ExprSetTac_.scala
Linear Supertypes
ExprSetTacOps_1[A, t, Ns1, Ns2], ExprAttr_1[A, t, Ns1, Ns2], ExprBase, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. ExprSetTac_1
  2. ExprSetTacOps_1
  3. ExprAttr_1
  4. ExprBase
  5. AnyRef
  6. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. type X = DummyImplicit
    Definition Classes
    ExprBase
  2. type Y = DummyImplicit
    Definition Classes
    ExprBase

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. def _attrMan[X, ns1[_, _], ns2[_, _, _]](op: ast.Model.Op, a: ModelOps_1[X, t, ns1, ns2]): Ns2[A, X, t]
    Attributes
    protected
    Definition Classes
    ExprAttr_1
  5. def _attrSortMan[ns1[_, _], ns2[_, _, _]](op: ast.Model.Op, a: ModelOps_1[A, t, ns1, ns2]): Ns2[A, A, t] with SortAttrs_2[A, A, t, Ns2]
    Attributes
    protected
    Definition Classes
    ExprAttr_1
  6. def _attrSortTac[ns1[_], ns2[_, _]](op: ast.Model.Op, a: ModelOps_0[t, ns1, ns2] with CardOne): Ns1[A, t] with SortAttrs_1[A, t, Ns1]
    Attributes
    protected
    Definition Classes
    ExprAttr_1
  7. def _attrTac[ns1[_], ns2[_, _]](op: ast.Model.Op, a: ModelOps_0[t, ns1, ns2]): Ns1[A, t]
    Attributes
    protected
    Definition Classes
    ExprAttr_1
  8. def _exprSetTac(op: ast.Model.Op, vs: Seq[Set[t]]): Ns1[A, t]
    Attributes
    protected
    Definition Classes
    ExprSetTacOps_1
  9. def abs2sets[t](pairs: Seq[(t, t)]): Seq[Set[t]]
    Attributes
    protected
    Definition Classes
    ExprBase
  10. def add(vs: Iterable[t]): Ns1[A, t]
  11. def add(v: t, vs: t*): Ns1[A, t]
  12. def apply[ns1[_, _], ns2[_, _, _]](a: ModelOps_1[Set[t], t, ns1, ns2] with CardSet): Ns2[A, Set[t], t]
  13. def apply[ns1[_], ns2[_, _]](a: ModelOps_0[t, ns1, ns2] with CardSet)(implicit x: X): Ns1[A, t]
  14. def apply(sets: Seq[Set[t]]): Ns1[A, t]
  15. def apply(set: Set[t], sets: Set[t]*): Ns1[A, t]
  16. def apply(vs: Seq[t])(implicit x: X): Ns1[A, t]
  17. def apply(v: t, vs: t*): Ns1[A, t]
  18. def apply(): Ns1[A, t]
  19. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  20. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native() @IntrinsicCandidate()
  21. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  22. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  23. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @IntrinsicCandidate()
  24. def has[X, ns1[_, _], ns2[_, _, _]](a: ModelOps_1[X, t, ns1, ns2] with Card): Ns2[A, X, t]
  25. def has[ns1[_], ns2[_, _]](a: ModelOps_0[t, ns1, ns2] with Card)(implicit x: X): Ns1[A, t]
  26. def has(sets: Seq[Set[t]]): Ns1[A, t]
  27. def has(set: Set[t], sets: Set[t]*): Ns1[A, t]
  28. def has(vs: Seq[t])(implicit x: X): Ns1[A, t]
  29. def has(v: t, vs: t*): Ns1[A, t]
  30. def hasNo[X, ns1[_, _], ns2[_, _, _]](a: ModelOps_1[X, t, ns1, ns2] with Card): Ns2[A, X, t]
  31. def hasNo[ns1[_], ns2[_, _]](a: ModelOps_0[t, ns1, ns2] with Card)(implicit x: X): Ns1[A, t]
  32. def hasNo(sets: Seq[Set[t]]): Ns1[A, t]
  33. def hasNo(set: Set[t], sets: Set[t]*): Ns1[A, t]
  34. def hasNo(vs: Seq[t])(implicit x: X): Ns1[A, t]
  35. def hasNo(v: t, vs: t*): Ns1[A, t]
  36. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @IntrinsicCandidate()
  37. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  38. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  39. def not[ns1[_, _], ns2[_, _, _]](a: ModelOps_1[Set[t], t, ns1, ns2] with CardSet): Ns2[A, Set[t], t]
  40. def not[ns1[_], ns2[_, _]](a: ModelOps_0[t, ns1, ns2] with CardSet)(implicit x: X): Ns1[A, t]
  41. def not(sets: Seq[Set[t]]): Ns1[A, t]
  42. def not(set: Set[t], sets: Set[t]*): Ns1[A, t]
  43. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @IntrinsicCandidate()
  44. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @IntrinsicCandidate()
  45. def remove(vs: Iterable[t]): Ns1[A, t]
  46. def remove(v: t, vs: t*): Ns1[A, t]
  47. def swap(abs: Seq[(t, t)]): Ns1[A, t]
  48. def swap(ab: (t, t), abs: (t, t)*): Ns1[A, t]
  49. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  50. def toString(): String
    Definition Classes
    AnyRef → Any
  51. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  52. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  53. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Deprecated Value Members

  1. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] ) @Deprecated
    Deprecated

Inherited from ExprSetTacOps_1[A, t, Ns1, Ns2]

Inherited from ExprAttr_1[A, t, Ns1, Ns2]

Inherited from ExprBase

Inherited from AnyRef

Inherited from Any

Ungrouped