rename Action to ActiveEdge

TODO.md

@@ -1,6 +1,8 @@
-quit using `Action`
+[graph] extract `interact`
 
-`Action` should be type instead of class
+quit using `ActiveEdge`
+
+`ActiveEdge` should be type instead of class
 
 use new syntax
 

docs/mimors/interaction-nets.mimor

@@ -1,39 +1,35 @@
-<metadata theme-color="white" />
+<metadata theme-color="indigo" />
 
 <front-cover>
-  Notes about the 1990 "Interaction Nets" paper, by Yves Lafont.
+  Notes about the 1990 "Interaction Nets" paper by Yves Lafont
 </front-cover>
 
+<cloze>
+  Interaction net (INet) is a computation model
+  based on <blank>(indirected) graph</blank>.
+</cloze>
+
 <question>
-  What is interaction net (inet)?
+  What is computation?
 
   <answer>
-    Interaction net is a linear computation model
-    based (indirected) graph.
+    Computation is directed changes.
   </answer>
 </question>
 
 <question>
   What is a computation model?
 
   <answer>
-    Computation is directed changes.
-
     A computation model is a group of rules about how to change.
-
-    An initial state is a program,
-    let it start changing by the rules,
-    is computation.
   </answer>
 </question>
 
 <question>
-  What does "linear" mean in "linear computation model"?
+  What is a program?
 
   <answer>
-    Linear means when a variable is used,
-    the value in the variable is taken out,
-    to use the variable again,
-    a new value must be put in.
+    A program is an initial state of a computation model,
+    ready to change.
   </answer>
 </question>

src/lang/graph/Action.ts → src/lang/graph/ActiveEdge.ts

@@ -6,14 +6,14 @@ import { netConnect } from "./netConnect"
 import { netRemoveEdge } from "./netRemoveEdge"
 import { netRemoveNode } from "./netRemoveNode"
 
-export class Action {
+export class ActiveEdge {
   constructor(
     public start: Port,
     public end: Port,
     public rule: Rule,
   ) {}
 
-  act(mod: Mod, net: Net): void {
+  interact(mod: Mod, net: Net): void {
     // NOTE The state of action.
     const input: Array<Port> = []
     const output: Array<Port> = []

src/lang/graph/Net.ts

@@ -1,11 +1,11 @@
-import { Action, Edge, Node, Port } from "../graph"
+import { ActiveEdge, Edge, Node, Port } from "../graph"
 import { Mod } from "../mod"
 
 export type Net = {
   mod: Mod
   nodes: Array<Node>
   edges: Array<Edge>
-  actions: Array<Action>
+  activeEdges: Array<ActiveEdge>
   portStack: Array<Port>
   // for named local variables.
   portStore: Map<string, Port>

src/lang/graph/createNet.ts

@@ -6,7 +6,7 @@ export function createNet(mod: Mod): Net {
     mod,
     nodes: [],
     edges: [],
-    actions: [],
+    activeEdges: [],
     portStack: [],
     portStore: new Map(),
     wires: [],

src/lang/graph/index.ts

@@ -1,4 +1,4 @@
-export * from "./Action"
+export * from "./ActiveEdge"
 export * from "./Edge"
 export * from "./Net"
 export * from "./Node"

src/lang/graph/netConnect.ts

@@ -1,11 +1,11 @@
-import { Action, Net, Port, createEdge } from "../graph"
+import { ActiveEdge, Net, Port, createEdge } from "../graph"
 import { lookupRuleByPorts } from "../mod/lookupRuleByPorts"
 
 export function netConnect(net: Net, start: Port, end: Port): void {
   const rule = lookupRuleByPorts(net.mod, start, end)
 
   if (rule) {
-    net.actions.push(new Action(start, end, rule))
+    net.activeEdges.push(new ActiveEdge(start, end, rule))
   } else {
     net.edges.push(createEdge(start, end))
   }

src/lang/graph/netRun.ts

@@ -7,7 +7,7 @@ import { netReleaseFreePorts } from "./netReleaseFreePorts"
 export function netRun(net: Net): void {
   const closer = netCloseFreePorts(net)
 
-  while (net.actions.length > 0) {
+  while (net.activeEdges.length > 0) {
     netStep(net)
   }
 
@@ -20,10 +20,10 @@ function netStep(net: Net): void {
     throw new InternalError("I can not handle free port during stepping.")
   }
 
-  const action = net.actions.pop()
-  if (action === undefined) {
+  const activeEdge = net.activeEdges.pop()
+  if (activeEdge === undefined) {
     return
   } else {
-    action.act(net.mod, net)
+    activeEdge.interact(net.mod, net)
   }
 }

src/renderers/NetRenderer.ts

@@ -19,7 +19,7 @@ export class NetRenderer {
       lines.push(`${end}`)
     }
 
-    for (const edge of net.actions) {
+    for (const edge of net.activeEdges) {
       const start = formatNode(edge.start.node)
       const end = formatNode(edge.end.node)
       const indexes = `${edge.end.index}-${edge.start.index}`