changeset 77475 | 3bc611c80346 |
child 77476 | 5f6f567a2661 |
77474:5ecaf881b563 | 77475:3bc611c80346 |
---|---|
1 /* Title: Pure/System/host.scala |
|
2 Author: Makarius |
|
3 |
|
4 Information about compute hosts. |
|
5 */ |
|
6 |
|
7 package isabelle |
|
8 |
|
9 |
|
10 object Host { |
|
11 /* allocated resources */ |
|
12 |
|
13 object Node_Info { def none: Node_Info = Node_Info("", None) } |
|
14 |
|
15 sealed case class Node_Info(hostname: String, numa_node: Option[Int]) |
|
16 } |