3.5.1. Constraints with 1 argument

ctrs/fig_tree_a_x_s_y
  1. 𝚜𝚞𝚖_𝚏𝚛𝚎𝚎

ctrs/fig_tree_a_x_c_x_i_y_y
  1. 𝚊𝚕𝚕𝚍𝚒𝚏𝚏𝚎𝚛𝚎𝚗𝚝

  2. 𝚊𝚕𝚕𝚍𝚒𝚏𝚏𝚎𝚛𝚎𝚗𝚝_𝚌𝚘𝚗𝚜𝚎𝚌𝚞𝚝𝚒𝚟𝚎_𝚟𝚊𝚕𝚞𝚎𝚜,

  3. 𝚊𝚕𝚕𝚍𝚒𝚏𝚏𝚎𝚛𝚎𝚗𝚝_𝚎𝚡𝚌𝚎𝚙𝚝_0

  4. 𝚊𝚕𝚕_𝚎𝚚𝚞𝚊𝚕

  5. 𝚌𝚘𝚗𝚜𝚎𝚌𝚞𝚝𝚒𝚟𝚎_𝚟𝚊𝚕𝚞𝚎𝚜

  6. 𝚍𝚎𝚌𝚛𝚎𝚊𝚜𝚒𝚗𝚐

  7. 𝚐𝚕𝚘𝚋𝚊𝚕_𝚌𝚘𝚗𝚝𝚒𝚐𝚞𝚒𝚝𝚢

  8. 𝚐𝚘𝚕𝚘𝚖𝚋

  9. 𝚒𝚗𝚌𝚛𝚎𝚊𝚜𝚒𝚗𝚐

  10. 𝚗𝚘_𝚙𝚎𝚊𝚔

  11. 𝚗𝚘_𝚟𝚊𝚕𝚕𝚎𝚢

  12. 𝚗𝚘𝚝_𝚊𝚕𝚕_𝚎𝚚𝚞𝚊𝚕

  13. 𝚜𝚝𝚛𝚒𝚌𝚝𝚕𝚢_𝚍𝚎𝚌𝚛𝚎𝚊𝚜𝚒𝚗𝚐

  14. 𝚜𝚝𝚛𝚒𝚌𝚝𝚕𝚢_𝚒𝚗𝚌𝚛𝚎𝚊𝚜𝚒𝚗𝚐


ctrs/fig_tree_a_x_c_x_i_y_y_
ctrs/fig_tree_a_x_c_x_s_y_y
  1. 𝚊𝚕𝚕𝚍𝚒𝚏𝚏𝚎𝚛𝚎𝚗𝚝_𝚋𝚎𝚝𝚠𝚎𝚎𝚗_𝚜𝚎𝚝𝚜

ctrs/fig_tree_a_x_c_x_c_x_i_y_y_y
  1. 𝚊𝚕𝚕𝚙𝚎𝚛𝚖

  2. 𝚔_𝚊𝚕𝚕𝚍𝚒𝚏𝚏𝚎𝚛𝚎𝚗𝚝

  3. 𝚔_𝚍𝚒𝚜𝚓𝚘𝚒𝚗𝚝

  4. 𝚔_𝚜𝚊𝚖𝚎

  5. 𝚔_𝚞𝚜𝚎𝚍_𝚋𝚢

  6. 𝚕𝚎𝚡2

  7. 𝚕𝚎𝚡_𝚊𝚕𝚕𝚍𝚒𝚏𝚏𝚎𝚛𝚎𝚗𝚝

  8. 𝚕𝚎𝚡_𝚌𝚑𝚊𝚒𝚗_𝚕𝚎𝚜𝚜

  9. 𝚕𝚎𝚡_𝚌𝚑𝚊𝚒𝚗_𝚕𝚎𝚜𝚜𝚎𝚚

  10. 𝚜𝚝𝚛𝚒𝚌𝚝_𝚕𝚎𝚡2


ctrs/fig_tree_a_x_c_x_c_x_i_y_y_y_
ctrs/fig_tree_a_x_c_x_c_x_i3_y_y_y
  1. 𝚍𝚒𝚏𝚏𝚗

  2. 𝚘𝚛𝚝𝚑𝚜_𝚊𝚛𝚎_𝚌𝚘𝚗𝚗𝚎𝚌𝚝𝚎𝚍


ctrs/fig_tree_a_x_c_x_c_x_i3_y_y_y_
ctrs/fig_tree_a_x_c_x_i2_y_y
  1. 𝚊𝚕𝚕𝚍𝚒𝚏𝚏𝚎𝚛𝚎𝚗𝚝_𝚌𝚜𝚝

  2. 𝚌𝚒𝚛𝚌𝚞𝚒𝚝

  3. 𝚍𝚎𝚛𝚊𝚗𝚐𝚎𝚖𝚎𝚗𝚝

  4. 𝚍𝚒𝚜𝚓𝚞𝚗𝚌𝚝𝚒𝚟𝚎

  5. 𝚜𝚎𝚚𝚞𝚎𝚗𝚌𝚎_𝚏𝚘𝚕𝚍𝚒𝚗𝚐

  6. 𝚜𝚢𝚖𝚖𝚎𝚝𝚛𝚒𝚌_𝚊𝚕𝚕𝚍𝚒𝚏𝚏𝚎𝚛𝚎𝚗𝚝

ctrs/fig_tree_a_x_c_x_i_y_x_s_y_y
  1. 𝚊𝚝𝚖𝚘𝚜𝚝1

  2. 𝚋𝚒𝚙𝚊𝚛𝚝𝚒𝚝𝚎

  3. 𝚌𝚘𝚗𝚗𝚎𝚌𝚝𝚎𝚍

  4. 𝚍𝚊𝚐

  5. 𝚜𝚝𝚛𝚘𝚗𝚐𝚕𝚢_𝚌𝚘𝚗𝚗𝚎𝚌𝚝𝚎𝚍

  6. 𝚜𝚢𝚖𝚖𝚎𝚝𝚛𝚒𝚌

  7. 𝚝𝚘𝚞𝚛

ctrs/fig_tree_a_x_c_x_i3_y_y
  1. 𝚒𝚗𝚟𝚎𝚛𝚜𝚎

  2. 𝚘𝚛𝚝𝚑_𝚕𝚒𝚗𝚔_𝚘𝚛𝚒_𝚜𝚒𝚣_𝚎𝚗𝚍

ctrs/fig_tree_a_x_c_x_i3_y_x_s_y_y
  1. 𝚍𝚒𝚜𝚓

ctrs/fig_tree_a_x_c_x_i2_y_x_s2_y_y
  1. 𝚜𝚝𝚊𝚋𝚕𝚎_𝚌𝚘𝚖𝚙𝚊𝚝𝚒𝚋𝚒𝚕𝚒𝚝𝚢

ctrs/fig_tree_a_c_i5_y_y
  1. 𝚙𝚘𝚕𝚢𝚘𝚖𝚒𝚗𝚘