| Function summary | |
|---|---|
| interactive-web-interface-header | |
| predicate-network-formulation-fcg-light->s-dot | predicate-network &key draw-arrows |
| predicate-network-formulation-fcg-light->svg | predicate-network &key draw-arrows |
| split-by-one-space | string |
Returns a list of substrings of string divided by ONE space each. Note: Two consecutive spaces will be seen as if there were an empty string between them.
renders predicate networks, i.e., irl programs, into an svg that can be readily used in the web interface