Automatically create LHS of an interaction rule
authorMiguel Vilaca <jmvilaca@di.uminho.pt>
local dateTue, 07 Feb 2006 11:14:45
dateTue, 07 Feb 2006 11:14:45
hash20060207111445-970b1-eef344a8c29a5d931b40cd5e5f1046c9b8640980
Automatically create LHS of an interaction rule

The LHS of an interaction net rule is formed by to agents connected by their principal ports and the rest of the ports to be the interface of that net. This let the user choose the two agents and automatically create the LHS and the RHS interface, thus representing a significantly faster process of creation/edition of Interaction net systems.
4 file(s) changed:
src/INRules.hs +7 -3
src/NetworkUI.hs +235 -32
src/Ports.hs +25 -1
src/State.hs +29 -0