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 access_database(name: String, output: Boolean = false): Option[Database]
5.  final def asInstanceOf[T0]: T0

   Definition Classes

   Any

6.  val browser_info: Path
7.  def clean_output(name: String): (Boolean, Boolean)
8.  def clone(): AnyRef

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @native() @throws( ... )

9.  def database(name: String): Path
10.  final def eq(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

11.  def equals(arg0: Any): Boolean

    Definition Classes

    AnyRef → Any

12.  def finalize(): Unit

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( classOf[java.lang.Throwable] )

13.  def find_heap(name: String): Option[Path]
14.  def find_heap_digest(name: String): Option[String]
15.  final def getClass(): Class[_]

    Definition Classes

    AnyRef → Any

    Annotations

    @native()

16.  def has_session_info(db: Database, name: String): Boolean
17.  def hashCode(): Int

    Definition Classes

    AnyRef → Any

    Annotations

    @native()

18.  def heap(name: String): Path
19.  def init_session_info(db: Database, name: String): Unit
20.  val input_dirs: List[Path]
21.  final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

22.  def log(name: String): Path
23.  def log_gz(name: String): Path
24.  final def ne(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

25.  final def notify(): Unit

    Definition Classes

    AnyRef

    Annotations

    @native()

26.  final def notifyAll(): Unit

    Definition Classes

    AnyRef

    Annotations

    @native()

27.  def open_database(name: String, output: Boolean = false): Database
28.  val options: Options
29.  def output_database(name: String): Path
30.  val output_dir: Path
31.  def output_heap(name: String): Path
32.  def output_log(name: String): Path
33.  def output_log_gz(name: String): Path
34.  def prepare_output_dir(): Unit
35.  def read_build(db: Database, name: String): Option[Session_Info]
36.  def read_bytes(db: Database, name: String, column: Column): Bytes
37.  def read_command_timings(db: Database, name: String): List[T]
38.  def read_errors(db: Database, name: String): List[String]
39.  def read_ml_statistics(db: Database, name: String): List[T]
40.  def read_properties(db: Database, name: String, column: Column): List[T]
41.  def read_session_timing(db: Database, name: String): T
42.  def read_task_statistics(db: Database, name: String): List[T]
43.  def read_theory_timings(db: Database, name: String): List[T]
44.  final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes

    AnyRef

45.  val system_mode: Boolean
46.  val system_output_dir: Path
47.  def the_heap(name: String): Path
48.  def toString(): String

    Definition Classes

    Store → AnyRef → Any

49.  val user_output_dir: Path
50.  final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    @native() @throws( ... )

53.  def write_session_info(db: Database, name: String, build_log: Session_Info, build: Session_Info): Unit
54.  val xml_cache: XML.Cache
55.  val xz_cache: XZ.Cache