ML_Statistics

Type Members

final case class Entry(time: Double, data: Map[String, Double]) extends Product with Serializable
type Fields = (String, List[String])

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 CODE_SIZE: String
val GC_fields: Fields
val HEAP_SIZE: String
val Now: Double
val STACK_SIZE: String
val all_fields: List[Fields]
def apply(ml_statistics: List[T], heading: String = "", domain: (String) ⇒ Boolean = (key: String) => true): ML_Statistics
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
val empty: ML_Statistics
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
val heap_fields: Fields
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
val main_fields: List[Fields]
def mem_field_scale(name: String, x: Double): Double
def mem_print(x: Long): Option[String]
def mem_scale(x: Long): Long
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
def now(props: T): Double
val program_fields: Fields
val speed_fields: Fields
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
val tasks_fields: Fields
val threads_fields: Fields
val time_fields: Fields
def toString(): String

Definition Classes
AnyRef → Any
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 workers_fields: Fields

Related Docs: class ML_Statistics | package isabelle

object ML_Statistics

Type Members

final case class Entry(time: Double, data: Map[String, Double]) extends Product with Serializable

type Fields = (String, List[String])

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

val CODE_SIZE: String

val GC_fields: Fields

val HEAP_SIZE: String

val Now: Double

val STACK_SIZE: String

val all_fields: List[Fields]

def apply(ml_statistics: List[T], heading: String = "", domain: (String) ⇒ Boolean = (key: String) => true): ML_Statistics

final def asInstanceOf[T0]: T0

def clone(): AnyRef

val empty: ML_Statistics

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

final def getClass(): Class[_]

def hashCode(): Int

val heap_fields: Fields

final def isInstanceOf[T0]: Boolean

val main_fields: List[Fields]

def mem_field_scale(name: String, x: Double): Double

def mem_print(x: Long): Option[String]

def mem_scale(x: Long): Long

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

def now(props: T): Double

val program_fields: Fields

val speed_fields: Fields

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

val tasks_fields: Fields

val threads_fields: Fields

val time_fields: Fields

def toString(): String

final def wait(): Unit

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

final def wait(arg0: Long): Unit

val workers_fields: Fields

Inherited from AnyRef

Inherited from Any

Ungrouped