State

Instance Constructors

new State(blobs: Map[Name, Blob] = Map.empty, theories: Map[Name, Theory] = Map.empty, required: Multi_Map[Name, T] = Multi_Map.empty)

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
final def asInstanceOf[T0]: T0

Definition Classes
Any
def blob_edits(name: Name, old_blob: Option[Blob]): List[Edit_Text]
val blobs: Map[Name, Blob]
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
def doc_blobs: Blobs
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def finalize(): Unit

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

Definition Classes
AnyRef → Any
def insert_required(id: T, names: List[Name]): State
final def isInstanceOf[T0]: Boolean

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

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
def purge_theories(session: Session, nodes: List[Name]): ((List[Name], List[Name]), State)
def remove_required(id: T, names: List[Name]): State
def remove_theories(remove: List[Name]): State
val required: Multi_Map[Name, T]
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
val theories: Map[Name, Theory]
lazy val theory_graph: Graph[Name, Unit]
def unload_theories(session: Session, id: T, dep_theories: List[Name]): State
def update_blobs(names: List[Name]): (Blobs, State)
def update_theories(update: List[(Name, Theory)]): State
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( ... )

Related Doc: package Resources

sealed case class State(blobs: Map[Name, Blob] = Map.empty, theories: Map[Name, Theory] = Map.empty, required: Multi_Map[Name, T] = Multi_Map.empty) extends Product with Serializable

Instance Constructors

new State(blobs: Map[Name, Blob] = Map.empty, theories: Map[Name, Theory] = Map.empty, required: Multi_Map[Name, T] = Multi_Map.empty)

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

final def asInstanceOf[T0]: T0

def blob_edits(name: Name, old_blob: Option[Blob]): List[Edit_Text]

val blobs: Map[Name, Blob]

def clone(): AnyRef

def doc_blobs: Blobs

final def eq(arg0: AnyRef): Boolean

def finalize(): Unit

def frontier_theories(clean: Set[Name]): Set[Name]

final def getClass(): Class[_]

def insert_required(id: T, names: List[Name]): State

final def isInstanceOf[T0]: Boolean

def is_required(name: Name): Boolean

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

def purge_theories(session: Session, nodes: List[Name]): ((List[Name], List[Name]), State)

def remove_required(id: T, names: List[Name]): State

def remove_theories(remove: List[Name]): State

val required: Multi_Map[Name, T]

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

val theories: Map[Name, Theory]

lazy val theory_graph: Graph[Name, Unit]

def unload_theories(session: Session, id: T, dep_theories: List[Name]): State

def update_blobs(names: List[Name]): (Blobs, State)

def update_theories(update: List[(Name, Theory)]): State

final def wait(): Unit

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

final def wait(arg0: Long): Unit

Inherited from Serializable

Inherited from Serializable

Inherited from Product

Inherited from Equals

Inherited from AnyRef

Inherited from Any

Ungrouped