Isabelle_Process

Value Members

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

   Definition Classes

   AnyRef

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

   Definition Classes

   Any

3. final def ##(): Int

   Definition Classes

   AnyRef → Any

4. final def ==(arg0: AnyRef): Boolean

   Definition Classes

   AnyRef

5. final def ==(arg0: Any): Boolean

   Definition Classes

   Any

6. object Encode

   Definition Classes

   Protocol

7. final def asInstanceOf[T0]: T0

   Definition Classes

   Any

8. def build_theories(id: String, master_dir: Path, theories: List[(Options, List[Path])]): Unit

   Definition Classes

   Protocol

9. def cancel_exec(id: Exec): Unit

   Definition Classes

   Protocol

10. def clone(): AnyRef

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

11. def decode(s: String): String

    Definition Classes

    Isabelle_Process → Protocol

12. def define_blob(digest: Digest, bytes: Bytes): Unit

    Definition Classes

    Protocol

13. def define_command(command: Command): Unit

    Definition Classes

    Protocol

14. def dialog_result(serial: Long, result: String): Unit

    Definition Classes

    Protocol

15. def discontinue_execution(): Unit

    Definition Classes

    Protocol

16. def encode(s: String): String

    Definition Classes

    Isabelle_Process → Protocol

17. final def eq(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

18. def equals(arg0: Any): Boolean

    Definition Classes

    AnyRef → Any

19. def finalize(): Unit

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

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

20. final def getClass(): Class[_]

    Definition Classes

    AnyRef → Any

21. def hashCode(): Int

    Definition Classes

    AnyRef → Any

22. final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

23. def join(): Unit

    Definition Classes

    Prover

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

    Definition Classes

    AnyRef

25. final def notify(): Unit

    Definition Classes

    AnyRef

26. final def notifyAll(): Unit

    Definition Classes

    AnyRef

27. def options(opts: Options): Unit

    Definition Classes

    Protocol

28. def protocol_command(name: String, args: String*): Unit

    Definition Classes

    Prover → Protocol

29. def protocol_command_bytes(name: String, args: Bytes*): Unit

    protocol commands *

    protocol commands *

    Definition Classes

    Prover → Protocol

30. def remove_versions(versions: List[Version]): Unit

    Definition Classes

    Protocol

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

    Definition Classes

    AnyRef

32. def terminate(): Unit

    Definition Classes

    Prover

33. def toString(): String

    Definition Classes

    AnyRef → Any

34. def update(old_id: Version, new_id: Version, edits: List[(Name, Edit[(Option[Command], Option[Command]), Perspective])]): Unit

    Definition Classes

    Protocol

35. final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

37. final def wait(arg0: Long): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

38. val xml_cache: Cache

    receiver output *

    receiver output *

    Definition Classes

    Prover