Searched refs:Node (Results 1 - 25 of 125) sorted by relevance

12345

/seL4-l4v-10.1.1/HOL4/examples/dev/sw/
H A DStack.sml8 Node of 'item * 'item stack
10 fun isEmpty( Node( _ , S)) = false
15 fun push( x, S ) = Node( x, S )
18 | pop( Node( x, S) ) = S
21 | top( Node( x, S ) ) = x
24 | stack2set (Node(x,S),st) = stack2set(S, Binaryset.add(st,x))
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/working/0.1/
H A DStack.sml8 Node of 'item * 'item stack
10 fun isEmpty( Node( _ , S)) = false
15 fun push( x, S ) = Node( x, S )
18 | pop( Node( x, S) ) = S
21 | top( Node( x, S ) ) = x
24 | stack2set (Node(x,S),st) = stack2set(S, Binaryset.add(st,x))
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/working/0.2/util/
H A DStack.sml8 Node of 'item * 'item stack
10 fun isEmpty( Node( _ , S)) = false
15 fun push( x, S ) = Node( x, S )
18 | pop( Node( x, S) ) = S
21 | top( Node( x, S ) ) = x
24 | stack2set (Node(x,S),st) = stack2set(S, Binaryset.add(st,x))
/seL4-l4v-10.1.1/isabelle/src/Pure/General/
H A Dgraph_display.scala18 object Node
20 val dummy: Node = Node("", "")
22 object Ordering extends scala.math.Ordering[Node]
24 def compare(node1: Node, node2: Node): Int =
31 sealed case class Node(name: String, ident: String)
33 def is_dummy: Boolean = this == Node.dummy
37 type Edge = (Node, Node)
[all...]
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/General/
H A Dgraph_display.scala18 object Node
20 val dummy: Node = Node("", "")
22 object Ordering extends scala.math.Ordering[Node]
24 def compare(node1: Node, node2: Node): Int =
31 sealed case class Node(name: String, ident: String)
33 def is_dummy: Boolean = this == Node.dummy
37 type Edge = (Node, Node)
[all...]
/seL4-l4v-10.1.1/isabelle/src/Pure/PIDE/
H A Deditor.scala21 def current_node(context: Context): Option[Document.Node.Name]
23 def node_snapshot(name: Document.Node.Name): Document.Snapshot
29 def node_overlays(name: Document.Node.Name): Document.Node.Overlays
H A Dresources.scala30 def append(node_name: Document.Node.Name, source_path: Path): String =
60 def loaded_files(syntax: Outer_Syntax, name: Document.Node.Name): () => List[Path] =
84 file <- loaded_files(syntax, Document.Node.Name(path.implode, path.dir.implode, theory))()
94 def import_name(qualifier: String, dir: String, s: String): Document.Node.Name =
97 if (session_base.loaded_theory(theory)) Document.Node.Name.loaded_theory(theory)
103 Document.Node.Name.loaded_theory(theory)
108 Document.Node.Name(node, master_dir, theory)
114 def import_name(name: Document.Node.Name, s: String): Document.Node.Name =
139 def with_thy_reader[A](name: Document.Node
[all...]
H A Ddocument.scala25 final class Overlays private(rep: Map[Node.Name, Node.Overlays])
27 def apply(name: Node.Name): Node.Overlays =
28 rep.getOrElse(name, Node.Overlays.empty)
30 private def update(name: Node.Name, f: Node.Overlays => Node.Overlays): Overlays =
55 def apply(blobs: Map[Node.Name, Blob]): Blobs = new Blobs(blobs)
59 final class Blobs private(blobs: Map[Node
[all...]
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/PIDE/
H A Deditor.scala21 def current_node(context: Context): Option[Document.Node.Name]
23 def node_snapshot(name: Document.Node.Name): Document.Snapshot
29 def node_overlays(name: Document.Node.Name): Document.Node.Overlays
H A Dresources.scala30 def append(node_name: Document.Node.Name, source_path: Path): String =
60 def loaded_files(syntax: Outer_Syntax, name: Document.Node.Name): () => List[Path] =
84 file <- loaded_files(syntax, Document.Node.Name(path.implode, path.dir.implode, theory))()
94 def import_name(qualifier: String, dir: String, s: String): Document.Node.Name =
97 if (session_base.loaded_theory(theory)) Document.Node.Name.loaded_theory(theory)
103 Document.Node.Name.loaded_theory(theory)
108 Document.Node.Name(node, master_dir, theory)
114 def import_name(name: Document.Node.Name, s: String): Document.Node.Name =
139 def with_thy_reader[A](name: Document.Node
[all...]
H A Ddocument.scala25 final class Overlays private(rep: Map[Node.Name, Node.Overlays])
27 def apply(name: Node.Name): Node.Overlays =
28 rep.getOrElse(name, Node.Overlays.empty)
30 private def update(name: Node.Name, f: Node.Overlays => Node.Overlays): Overlays =
55 def apply(blobs: Map[Node.Name, Blob]): Blobs = new Blobs(blobs)
59 final class Blobs private(blobs: Map[Node
[all...]
/seL4-l4v-10.1.1/isabelle/src/Tools/Graphview/
H A Dmodel.scala43 Mutator.Edge_Endpoints((Graph_Display.Node.dummy, Graph_Display.Node.dummy)),
53 def find_node(ident: String): Option[Graph_Display.Node] =
61 private var _colors = Map.empty[Graph_Display.Node, Color]
67 (Map.empty[Graph_Display.Node, Color] /: Colors()) {
H A Dgraphview.scala40 def find_node(at: Point2D): Option[Graph_Display.Node] =
42 case (Layout.Node(node), (info, _)) if Shapes.shape(info).contains(at) => node
75 def node_text(node: Graph_Display.Node, content: XML.Body): String =
156 var current_node: Option[Graph_Display.Node] = None
160 private val state = Synchronized[List[Graph_Display.Node]](Nil)
162 def get(): List[Graph_Display.Node] = state.value
163 def contains(node: Graph_Display.Node): Boolean = get().contains(node)
165 def add(node: Graph_Display.Node): Unit = state.change(node :: _)
171 def node_color(node: Graph_Display.Node): Node_Color =
H A Dlayout.scala30 case (Node(a), Node(b)) => Graph_Display.Node.Ordering.compare(a, b)
32 Graph_Display.Node.Ordering.compare(a1, b1) match {
34 Graph_Display.Node.Ordering.compare(a2, b2) match {
40 case (Node(a), Dummy(b, _, _)) =>
41 Graph_Display.Node.Ordering.compare(a, b) match {
45 case (Dummy(a, _, _), Node(b)) =>
46 Graph_Display.Node.Ordering.compare(a, b) match {
55 case class Node(nod
[all...]
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Graphview/
H A Dmodel.scala43 Mutator.Edge_Endpoints((Graph_Display.Node.dummy, Graph_Display.Node.dummy)),
53 def find_node(ident: String): Option[Graph_Display.Node] =
61 private var _colors = Map.empty[Graph_Display.Node, Color]
67 (Map.empty[Graph_Display.Node, Color] /: Colors()) {
H A Dgraphview.scala40 def find_node(at: Point2D): Option[Graph_Display.Node] =
42 case (Layout.Node(node), (info, _)) if Shapes.shape(info).contains(at) => node
75 def node_text(node: Graph_Display.Node, content: XML.Body): String =
156 var current_node: Option[Graph_Display.Node] = None
160 private val state = Synchronized[List[Graph_Display.Node]](Nil)
162 def get(): List[Graph_Display.Node] = state.value
163 def contains(node: Graph_Display.Node): Boolean = get().contains(node)
165 def add(node: Graph_Display.Node): Unit = state.change(node :: _)
171 def node_color(node: Graph_Display.Node): Node_Color =
H A Dlayout.scala30 case (Node(a), Node(b)) => Graph_Display.Node.Ordering.compare(a, b)
32 Graph_Display.Node.Ordering.compare(a1, b1) match {
34 Graph_Display.Node.Ordering.compare(a2, b2) match {
40 case (Node(a), Dummy(b, _, _)) =>
41 Graph_Display.Node.Ordering.compare(a, b) match {
45 case (Dummy(a, _, _), Node(b)) =>
46 Graph_Display.Node.Ordering.compare(a, b) match {
55 case class Node(nod
[all...]
/seL4-l4v-10.1.1/graph-refine/graph-to-graph/
H A Ddot_utils.py33 nodes[n] = pydot.Node(n_cap,color="blue")
35 nodes[n] = pydot.Node(n_cap)
57 nodes[n] = pydot.Node('addr_%s \n %s' % (hex(n), text))
61 nodes['Ret'] = pydot.Node('Ret')
109 nodes[bb[0]] = pydot.Node(n_cap,Nodestyle="bold",color="hotpink")
111 nodes[bb[0]] = pydot.Node(n_cap,Nodestyle="bold",color="blue")
113 nodes[bb[0]] = pydot.Node(n_cap)
116 nodes['Ret'] = pydot.Node('Ret')
/seL4-l4v-10.1.1/isabelle/src/Pure/Thy/
H A Dthy_syntax.scala19 node: Document.Node,
21 overlays: Document.Node.Overlays): (Command.Perspective, Command.Perspective) =
72 (List[Document.Node.Name], Document.Nodes, List[Document.Edit_Command]) =
74 val syntax_changed0 = new mutable.ListBuffer[Document.Node.Name]
79 case (name, Document.Node.Deps(header)) =>
90 doc_edits += (name -> Document.Node.Deps(header))
130 Document.Node.Commands.starts(commands.iterator).find {
169 get_blob: Document.Node.Name => Option[Document.Blob],
170 can_import: Document.Node.Name => Boolean,
171 node_name: Document.Node
[all...]
H A Dthy_resources.scala61 val nodes: List[(Document.Node.Name, Protocol.Node_Status)])
63 def node_names: List[Document.Node.Name] = nodes.map(_._1)
66 def snapshot(node_name: Document.Node.Name): Document.Snapshot =
142 val theories_progress = Synchronized(Set.empty[Document.Node.Name])
187 all: Boolean = false): (List[Document.Node.Name], List[Document.Node.Name]) =
196 required: Multi_Map[Document.Node.Name, UUID] = Multi_Map.empty,
197 theories: Map[Document.Node.Name, Theory] = Map.empty)
199 def is_required(name: Document.Node.Name): Boolean = required.isDefinedAt(name)
201 def insert_required(id: UUID, names: List[Document.Node
[all...]
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/Thy/
H A Dthy_syntax.scala19 node: Document.Node,
21 overlays: Document.Node.Overlays): (Command.Perspective, Command.Perspective) =
72 (List[Document.Node.Name], Document.Nodes, List[Document.Edit_Command]) =
74 val syntax_changed0 = new mutable.ListBuffer[Document.Node.Name]
79 case (name, Document.Node.Deps(header)) =>
90 doc_edits += (name -> Document.Node.Deps(header))
130 Document.Node.Commands.starts(commands.iterator).find {
169 get_blob: Document.Node.Name => Option[Document.Blob],
170 can_import: Document.Node.Name => Boolean,
171 node_name: Document.Node
[all...]
H A Dthy_resources.scala61 val nodes: List[(Document.Node.Name, Protocol.Node_Status)])
63 def node_names: List[Document.Node.Name] = nodes.map(_._1)
66 def snapshot(node_name: Document.Node.Name): Document.Snapshot =
142 val theories_progress = Synchronized(Set.empty[Document.Node.Name])
187 all: Boolean = false): (List[Document.Node.Name], List[Document.Node.Name]) =
196 required: Multi_Map[Document.Node.Name, UUID] = Multi_Map.empty,
197 theories: Map[Document.Node.Name, Theory] = Map.empty)
199 def is_required(name: Document.Node.Name): Boolean = required.isDefinedAt(name)
201 def insert_required(id: UUID, names: List[Document.Node
[all...]
/seL4-l4v-10.1.1/isabelle/src/Tools/jEdit/src/
H A Djedit_resources.scala39 def known_file(path: String): Option[Document.Node.Name] =
42 def node_name(path: String): Document.Node.Name =
47 if (session_base.loaded_theory(theory)) Document.Node.Name.loaded_theory(theory)
50 Document.Node.Name(node, master_dir, theory)
54 def node_name(buffer: Buffer): Document.Node.Name =
57 def theory_node_name(buffer: Buffer): Option[Document.Node.Name] =
81 def read_file_content(node_name: Document.Node.Name): Option[String] =
95 def get_file_content(node_name: Document.Node.Name): Option[String] =
102 override def with_thy_reader[A](name: Document.Node.Name, f: Reader[Char] => A): A =
H A Ddocument_model.scala29 models: Map[Document.Node.Name, Document_Model] = Map.empty,
33 def file_models_iterator: Iterator[(Document.Node.Name, File_Model)] =
46 def open_buffer(session: Session, node_name: Document.Node.Name, buffer: Buffer)
72 def provide_file(session: Session, node_name: Document.Node.Name, text: String): State =
83 def get_models(): Map[Document.Node.Name, Document_Model] = state.value.models
84 def get(name: Document.Node.Name): Option[Document_Model] = get_models.get(name)
102 def node_overlays(name: Document.Node.Name): Document.Node.Overlays =
137 def syntax_changed(names: List[Document.Node.Name])
150 def init(session: Session, node_name: Document.Node
[all...]
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/jEdit/src/
H A Djedit_resources.scala39 def known_file(path: String): Option[Document.Node.Name] =
42 def node_name(path: String): Document.Node.Name =
47 if (session_base.loaded_theory(theory)) Document.Node.Name.loaded_theory(theory)
50 Document.Node.Name(node, master_dir, theory)
54 def node_name(buffer: Buffer): Document.Node.Name =
57 def theory_node_name(buffer: Buffer): Option[Document.Node.Name] =
81 def read_file_content(node_name: Document.Node.Name): Option[String] =
95 def get_file_content(node_name: Document.Node.Name): Option[String] =
102 override def with_thy_reader[A](name: Document.Node.Name, f: Reader[Char] => A): A =

Completed in 135 milliseconds

12345