tiltsys/database.als

16 lines
288 B
Plaintext

module tiltsys/database
open tiltsys/storage as S
open tiltsys/evaluator as E
sig Database {
storage: one S/Storage,
evaluator: one E/Evaluator
} {
// Capture instances
E/Evaluator in evaluator
S/Storage in storage
}
pred show [] {}
run show for 3 but 5 S/Node, exactly 1 Database