forsyde / forsyde-deep

Other
1 stars 2 forks source link

Redesign: Netlist Node data structure (NlNode) #19

Open HWoidt opened 8 years ago

HWoidt commented 8 years ago

Issue by HWoidt Saturday Jul 11, 2015 at 13:06 GMT Originally opened as https://gits-15.sys.kth.se/ingo/forsyde-deep/issues/19


Reported by alfonso....@gmail.com, Aug 9, 2008

Now, the output signals of a node are modeled by tagging the graph edges connected to that node. However, that's quite inconvenient (and inefficient) in practice.

Even if a better model cannot be found (which I doubt) at least we should create a variant of NlNode which takes outputs in account.

data  NlNodeIO inputi outputi = 
             -- Ports
             InPort  PortId               | -- ^ Input Ports of the system 
             -- Processes
             Proc ProcId (NlProc inputi)

data NlProc inputi outputi = 
 ...
  ZipWithNSY (TypedProcFun Dynamic) -- Process function in dynamic form
            [inputi] outputi
 ...