Label optimization LabeledIntGraph Name Proposition Observed. Format: [a-zA-Z] The x coordinate for the visualitation. A positive value. 0 Label. Format: [¬[a-zA-Z]|[a-zA-Z]]+|⊡ The y coordinate for the visualitation. A positive value. 0 Type: Possible values: normal|contingent|constraint. normal Lower-Case Labeled Values. Format: {[[\('label', 'lower case name', 'integer'\) ]+}|{} If the labeled values must be optimized. Format: a boolean. true Upper-Case Labeled Values. Format: {[[\('label', 'UPPER CASE NAME', 'integer'\) ]+}|{} Labeled Values. Format: {[[\('label', 'integer'\) ]+}|{} false 4AlternativeWFpaths.cstn a 357.0 ⊡ 5.0 b 451.0 ⊡ 686.0 564.0 ⊡ 571.0 309.0 b 767.0 173.0 b 855.0 612.0 ¬b 751.0 621.0 ¬b 925.0 406.0 ⊡ 1012.0 73.0 ⊡ 987.0 186.0 a 126.0 289.0 a 221.0 617.0 ¬a 85.0 506.0 ¬a 208.0 401.0 ⊡ 300.0 242.0 ⊡ 323.0 241.0 ⊡ 437.0 401.0 ⊡ 472.0 80.0 ⊡ 31.0 normal {} false {} {(⊡, -1) } normal {} false {} {(a, 2) } normal {} false {} {(a, -1) } normal {} false {} {(¬a, 1) } normal {} false {} {(¬a, -1) } normal {} false {} {(⊡, 2) } normal {} false {} {(⊡, -1) } normal {} false {} {(⊡, 1) } normal {} false {} {(⊡, -1) } normal {} false {} {(⊡, 7) } normal {} false {} {(⊡, -2) } normal {} false {} {(⊡, 1) } normal {} false {} {(a, -2) } normal {} false {} {(⊡, -1) } normal {} false {} {(⊡, -1) } normal {} false {} {(b, 1) } normal {} false {} {(b, -1) } normal {} false {} {(b, 8) } normal {} false {} {(b, -3) } normal {} false {} {(¬b, 1) } normal {} false {} {(¬b, -1) } normal {} false {} {(¬b, 7) } normal {} false {} {(¬b, -5) } normal {} false {} {(a, 6) } normal {} false {} {(b, 1) } normal {} false {} {(b, -1) } normal {} false {} {(¬b, 1) } normal {} false {} {(¬b, -1) } normal {} false {} {(⊡, 2) } normal {} false {} {(⊡, -1) } constraint {} false {} {(⊡, 27) } constraint {} false {} {(⊡, -22) } constraint {} false {} {(⊡, 34) } constraint {} false {} {(⊡, -15) } normal {} false {} {(a, -2) } constraint {} false {} {(⊡, -17) } constraint {} false {} {(⊡, 27) } normal {} false {} {(⊡, 10) } normal {} false {} {(⊡, 5) } normal {} false {} {(¬a, 1) } normal {} false {} {(¬a, -1) } normal {} false {} {(¬a, 6) } normal {} false {} {(¬a, -4) } normal {} false {} {(a, 1) }