Number of contingents in the graph 0 Number of observed propositions in the graph 0 Network Type CSTNU Number of edges in the graph 0 Number of vertices in the graph 0 Graph Name Proposition Observed. Value specification: [a-zA-F] The x coordinate for the visualitation. A positive value. 0 Label. Format: [¬[a-zA-F]|[a-zA-F]]+|⊡ ⊡ The y coordinate for the visualitation. A positive value. 0 Labeled Potential Values. Format: {[('node name (no case modification)', 'integer', 'label') ]+}|{} Type: Possible values: contingent|requirement|derived|internal. normal Value for STN edge. Format: 'integer' STN 10 4 testSTNwithNegativeCycle.stn 447.4087829589844 496.5274353027344 712.9266357421875 357.07257080078125 300.242919921875 294.581787109375 547.6780700683594 164.6132049560547 requirement 4 requirement 2 requirement 6 requirement -6 requirement -2 requirement -3 requirement -4 requirement -2 requirement 3 requirement 5