Hi @tinkerspy, very interesting library, I'm just sorting through it now to see if it'll work for my application.
One random question that I can't seem to find an answer to, what do the callback arguments idx, v and up refer to? Are they arbitrarily named? Do they stand for something in the world of automata?
The most I could find was this moderately unsatisfying blurb here:
Callbacks used in a Push Connector always have the three idx, v and up integer arguments. Their function may vary from component to component, check the documentation for details.
Hi @tinkerspy, very interesting library, I'm just sorting through it now to see if it'll work for my application.
One random question that I can't seem to find an answer to, what do the callback arguments
idx,vanduprefer to? Are they arbitrarily named? Do they stand for something in the world of automata?The most I could find was this moderately unsatisfying blurb here: