Class

isabelle.Sessions

Store

Related Doc: package Sessions

Permalink

class Store extends AnyRef

Linear Supertypes
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Store
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Value Members

  1. final def !=(arg0: Any): Boolean

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

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

    Permalink
    Definition Classes
    AnyRef → Any
  4. def access_database(name: String, output: Boolean = false): Option[Database]

    Permalink
  5. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  6. val browser_info: Path

    Permalink
  7. def clean_output(name: String): (Boolean, Boolean)

    Permalink
  8. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  9. def database(name: String): Path

    Permalink
  10. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  11. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  12. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  13. def find_heap(name: String): Option[Path]

    Permalink
  14. def find_heap_digest(name: String): Option[String]

    Permalink
  15. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
  16. def has_session_info(db: Database, name: String): Boolean

    Permalink
  17. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  18. def heap(name: String): Path

    Permalink
  19. def init_session_info(db: Database, name: String): Unit

    Permalink
  20. val input_dirs: List[Path]

    Permalink
  21. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  22. def log(name: String): Path

    Permalink
  23. def log_gz(name: String): Path

    Permalink
  24. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  25. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
  26. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
  27. def open_database(name: String, output: Boolean = false): Database

    Permalink
  28. val options: Options

    Permalink
  29. def output_database(name: String): Path

    Permalink
  30. val output_dir: Path

    Permalink
  31. def output_heap(name: String): Path

    Permalink
  32. def output_log(name: String): Path

    Permalink
  33. def output_log_gz(name: String): Path

    Permalink
  34. def prepare_output_dir(): Unit

    Permalink
  35. def read_build(db: Database, name: String): Option[Session_Info]

    Permalink
  36. def read_bytes(db: Database, name: String, column: Column): Bytes

    Permalink
  37. def read_command_timings(db: Database, name: String): List[T]

    Permalink
  38. def read_errors(db: Database, name: String): List[String]

    Permalink
  39. def read_ml_statistics(db: Database, name: String): List[T]

    Permalink
  40. def read_properties(db: Database, name: String, column: Column): List[T]

    Permalink
  41. def read_session_timing(db: Database, name: String): T

    Permalink
  42. def read_task_statistics(db: Database, name: String): List[T]

    Permalink
  43. def read_theory_timings(db: Database, name: String): List[T]

    Permalink
  44. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  45. val system_mode: Boolean

    Permalink
  46. val system_output_dir: Path

    Permalink
  47. def the_heap(name: String): Path

    Permalink
  48. def toString(): String

    Permalink
    Definition Classes
    Store → AnyRef → Any
  49. val user_output_dir: Path

    Permalink
  50. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  51. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  52. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  53. def write_session_info(db: Database, name: String, build_log: Session_Info, build: Session_Info): Unit

    Permalink
  54. val xml_cache: XML.Cache

    Permalink
  55. val xz_cache: XZ.Cache

    Permalink

Inherited from AnyRef

Inherited from Any

Ungrouped