ZI3

Type Members

type Point = VectorZI3

The type of points in this interval module.
The type of points in this interval module.

Definition Classes
ZI3 → AffineSpace
trait PointElement extends Any

A point in this affine space.
A point in this affine space.

Definition Classes
AffineSpace
type Scalar = ZInterval

The type of scalars in this interval module.
The type of scalars in this interval module.

Definition Classes
ZI3 → ZIN → VectorSpace → AffineSpace
type Vector = VectorZI3

The type of vectors in this interval module.
The type of vectors in this interval module.

Definition Classes
ZI3 → F3 → ZIN → FN → VectorSpace → AffineSpace
trait VectorElement extends Any

A vector in this vector space.
A vector in this vector space.

Definition Classes
VectorSpace
trait VectorF3 extends VectorFN

Definition Classes
F3
trait VectorFN extends VectorElement

Definition Classes
FN
final class VectorZI3 extends PointElement with VectorZIN with VectorF3
trait VectorZIN extends VectorFN

Definition Classes
ZIN

Value Members

final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def ##(): Int

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

Definition Classes
AnyRef → Any
val Scalar: ZInterval.type

Returns the scalar set of this interval module.
Returns the scalar set of this interval module.

Definition Classes
ZI3 → ZIN → VectorSpace → AffineSpace
implicit def ScalarTag: ClassTag[ZInterval]

Definition Classes
ZIN → FN
val Vector: ZI3.type

Returns the vector space underlying this interval module.
Returns the vector space underlying this interval module.

Definition Classes
ZI3 → AffineSpace
def apply(x: Scalar, y: Scalar, z: Scalar): Vector

Returns a new vector with 𝑥, 𝑦 and 𝑧 coordinates.
Returns a new vector with 𝑥, 𝑦 and 𝑧 coordinates.

Definition Classes
ZI3 → F3
def apply(coords: Array[ZI3.Scalar]): Vector

Returns a new vector with the given coordinates.
Returns a new vector with the given coordinates.

Definition Classes
F3 → FN
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
implicit def degenerate(vector: Z3.Vector): Vector
def dim: Int

Returns the dimension of this vector space.
Returns the dimension of this vector space.

Definition Classes
F3 → FN
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def finalize(): Unit

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

Definition Classes
AnyRef → Any
def hashCode(): Int

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

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

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
def origin: Vector

Returns the origin of this interval module.
Returns the origin of this interval module.

Definition Classes
ZI3 → AffineSpace
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
ZI3 → AnyRef → Any
def unapply(vector: Vector): Option[(ZI3.Scalar, ZI3.Scalar, ZI3.Scalar)]

Extracts the 𝑥, 𝑦 and 𝑧 coordinates from a vector.
Extracts the 𝑥, 𝑦 and 𝑧 coordinates from a vector.

Definition Classes
F3
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( ... )
val zero: Vector

Returns the additive identity of this interval module.
Returns the additive identity of this interval module.

Definition Classes
ZI3 → F3 → FN → VectorSpace

object ZI3 extends AffineSpace with ZIN with F3

Type Members

type Point = VectorZI3

trait PointElement extends Any

type Scalar = ZInterval

type Vector = VectorZI3

trait VectorElement extends Any

trait VectorF3 extends VectorFN

trait VectorFN extends VectorElement

final class VectorZI3 extends PointElement with VectorZIN with VectorF3

trait VectorZIN extends VectorFN

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

val Scalar: ZInterval.type

implicit def ScalarTag: ClassTag[ZInterval]

val Vector: ZI3.type

def apply(x: Scalar, y: Scalar, z: Scalar): Vector

def apply(coords: Array[ZI3.Scalar]): Vector

final def asInstanceOf[T0]: T0

def clone(): AnyRef

implicit def degenerate(vector: Z3.Vector): Vector

def dim: Int

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

final def getClass(): Class[_]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

def origin: Vector

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

def toString(): String

def unapply(vector: Vector): Option[(ZI3.Scalar, ZI3.Scalar, ZI3.Scalar)]

final def wait(): Unit

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

final def wait(arg0: Long): Unit

val zero: Vector

Inherited from F3

Inherited from ZIN

Inherited from FN

Inherited from VectorSpace

Inherited from AffineSpace

Inherited from AnyRef

Inherited from Any

Ungrouped