Skip to content
Snippets Groups Projects
Select Git revision
  • master
1 result

nfa-pruning-analysis

  • Open with
  • Download source code
  • Your workspaces

      A workspace is a virtual sandbox environment for your code in GitLab.

      No agents available to create workspaces. Please consult Workspaces documentation for troubleshooting.

  • user avatar
    Ertan Coskun authored
    the screen_size in which the nodes are placed scales now with the number
    of nodes in this function:
    size = log_{1.6}(number_of_nodes) * scale
    Base 1.6 and 500 as scale was in testing the sweetspot for small graphs
    (3 nodes) and bigger graphs (50 nodes).
    
    The placement was changed due to an understanding error.
    The methods "nx.springlayout(graph)" gives every node an array of
    coordinate from the range of -1 to 1 in the x and y axis.
    So the placement was changed to work with this given range.
    a7a34bcb
    History
    Name Last commit Last update