Line: 1 to 1 | ||||||||
---|---|---|---|---|---|---|---|---|
Added: | ||||||||
> > |
For example T< a > = PASS< 2*a >< b > ; T< b > will produce a flow function f(a)=b, but no flow function for b. 2. A system composed of A#B#C will not force B and C to be terminated if A terminates. The code for this is partially in place within sysgen.cpp , but needs additional work and testing. -- (c) Fordham University Robotics and Computer Vision |