forked from apalache-mc/apalache
-
Notifications
You must be signed in to change notification settings - Fork 0
/
seqDiaBefore_src.txt
26 lines (26 loc) · 1019 Bytes
/
seqDiaBefore_src.txt
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
sequenceDiagram
Rewriter --> Rule:
Rule -->> SymbState: setRex
Rule -->> Rewriter: rewriteUntilDone
Rule-->>SymbState: asCell
Rule -->> SymbState: setRex
Rule -->> Rewriter: rewriteUntilDone
Rule-->>SymbState: asCell
Rule-->>SymbState: arena
SymbState -->> PureArenaAdapter: getHasPtr
Rule-->>SymbState: arena
SymbState -->> PureArenaAdapter: getHasPtr
Rule-->>SymbState: updateArena
SymbState -->> PureArenaAdapter: appendCell
PureArenaAdapter -->> PureArena: nextCell
PureArenaAdapter -->> PureArena: appendCell
PureArenaAdapter -->>Z3SolverContext: declareCell
Rule-->>SymbState: arena
SymbState -->> PureArenaAdapter: topCell
Rule-->>SymbState: updateArena
SymbState -->> PureArenaAdapter: appendHas
PureArenaAdapter -->>Z3SolverContext: declareInPredIfNeeded
PureArenaAdapter -->> PureArena: appendHas
Rule -->> Rewriter: solverContext
Rewriter -->> Z3SolverContext: assertGroundExpr
Rule -->> SymbState: setRex