Начало Каталог Помощ
Регистрация Вход
jkunlin
/
little_tools
1
0
Разклонения 0
Файлове Задачи 0 Заявки за сливане 0 Уики
ИН на ревизия: 1956aaaf80
Клонове Маркери
little_tools
/
acts2cnf
/
Banking1.acts

Banking1.acts 8.4 KB
История Директен файл

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123 
  1. [System]
    2. 

  2. ss
    3. 

  3. 

  4. [Parameter]
    5. 

  5. p1 (enum): v1, v2, v3
    6. 

  6. p2 (enum): v1, v2, v3, v4
    7. 

  7. p3 (enum): v1, v2, v3
    8. 

  8. p4 (enum): v1, v2, v3
    9. 

  9. p5 (enum): v1, v2, v3
    10. 

  10. 

  11. [Constraint]
    12. 

  12. C1: (p5 != "v1" || p2 != "v4" || p3 != "v2" || p4 != "v3" || p1 != "v1")
    13. 

  13. C2: (p1 != "v3" || p5 != "v2" || p4 != "v3" || p3 != "v1" || p2 != "v3")
    14. 

  14. C3: (p1 != "v3" || p5 != "v1" || p4 != "v1" || p3 != "v2" || p2 != "v1")
    15. 

  15. C4: (p5 != "v1" || p4 != "v1" || p3 != "v3" || p1 != "v1" || p2 != "v2")
    16. 

  16. C5: (p1 != "v3" || p5 != "v1" || p4 != "v1" || p3 != "v2" || p2 != "v3")
    17. 

  17. C6: (p1 != "v3" || p5 != "v1" || p3 != "v3" || p2 != "v4" || p4 != "v2")
    18. 

  18. C7: (p5 != "v2" || p4 != "v3" || p3 != "v1" || p2 != "v3" || p1 != "v1")
    19. 

  19. C8: (p4 != "v2" || p3 != "v1" || p2 != "v3" || p5 != "v3" || p1 != "v1")
    20. 

  20. C9: (p1 != "v3" || p5 != "v2" || p4 != "v1" || p2 != "v4" || p3 != "v1")
    21. 

  21. C10: (p5 != "v1" || p1 != "v2" || p2 != "v4" || p4 != "v3" || p3 != "v1")
    22. 

  22. C11: (p5 != "v1" || p2 != "v4" || p4 != "v2" || p3 != "v1" || p1 != "v1")
    23. 

  23. C12: (p1 != "v3" || p5 != "v1" || p2 != "v4" || p3 != "v2" || p4 != "v3")
    24. 

  24. C13: (p3 != "v3" || p1 != "v2" || p4 != "v3" || p2 != "v1" || p5 != "v3")
    25. 

  25. C14: (p1 != "v3" || p5 != "v2" || p4 != "v1" || p3 != "v1" || p2 != "v3")
    26. 

  26. C15: (p5 != "v1" || p4 != "v1" || p3 != "v3" || p1 != "v2" || p2 != "v1")
    27. 

  27. C16: (p1 != "v3" || p5 != "v2" || p2 != "v4" || p4 != "v3" || p3 != "v1")
    28. 

  28. C17: (p5 != "v1" || p4 != "v1" || p3 != "v3" || p1 != "v2" || p2 != "v3")
    29. 

  29. C18: (p1 != "v3" || p5 != "v1" || p4 != "v1" || p3 != "v3" || p2 != "v2")
    30. 

  30. C19: (p5 != "v1" || p1 != "v2" || p4 != "v3" || p2 != "v1" || p3 != "v1")
    31. 

  31. C20: (p5 != "v1" || p4 != "v1" || p3 != "v3" || p1 != "v2" || p2 != "v4")
    32. 

  32. C21: (p4 != "v1" || p3 != "v3" || p5 != "v3" || p1 != "v1" || p2 != "v2")
    33. 

  33. C22: (p5 != "v1" || p4 != "v1" || p2 != "v4" || p3 != "v2" || p1 != "v1")
    34. 

  34. C23: (p1 != "v3" || p2 != "v4" || p3 != "v2" || p4 != "v3" || p5 != "v3")
    35. 

  35. C24: (p5 != "v1" || p4 != "v1" || p1 != "v2" || p3 != "v1" || p2 != "v3")
    36. 

  36. C25: (p1 != "v3" || p4 != "v1" || p3 != "v2" || p2 != "v3" || p5 != "v3")
    37. 

  37. C26: (p5 != "v1" || p4 != "v1" || p3 != "v1" || p1 != "v1" || p2 != "v2")
    38. 

  38. C27: (p1 != "v3" || p2 != "v4" || p4 != "v2" || p3 != "v1" || p5 != "v3")
    39. 

  39. C28: (p1 != "v3" || p3 != "v3" || p4 != "v2" || p2 != "v1" || p5 != "v3")
    40. 

  40. C29: (p5 != "v1" || p3 != "v3" || p1 != "v2" || p4 != "v3" || p2 != "v1")
    41. 

  41. C30: (p5 != "v1" || p3 != "v3" || p4 != "v2" || p2 != "v3" || p1 != "v1")
    42. 

  42. C31: (p5 != "v1" || p3 != "v3" || p1 != "v2" || p4 != "v3" || p2 != "v3")
    43. 

  43. C32: (p5 != "v2" || p3 != "v3" || p2 != "v4" || p4 != "v3" || p1 != "v1")
    44. 

  44. C33: (p1 != "v3" || p5 != "v1" || p3 != "v2" || p4 != "v3" || p2 != "v3")
    45. 

  45. C34: (p4 != "v1" || p1 != "v2" || p2 != "v4" || p3 != "v1" || p5 != "v3")
    46. 

  46. C35: (p1 != "v3" || p5 != "v1" || p3 != "v2" || p4 != "v3" || p2 != "v1")
    47. 

  47. C36: (p1 != "v3" || p5 != "v2" || p4 != "v1" || p3 != "v3" || p2 != "v1")
    48. 

  48. C37: (p1 != "v2" || p2 != "v4" || p4 != "v3" || p3 != "v1" || p5 != "v3")
    49. 

  49. C38: (p1 != "v3" || p5 != "v2" || p4 != "v1" || p3 != "v3" || p2 != "v3")
    50. 

  50. C39: (p1 != "v3" || p5 != "v2" || p4 != "v1" || p3 != "v3" || p2 != "v4")
    51. 

  51. C40: (p1 != "v3" || p5 != "v1" || p4 != "v1" || p3 != "v1" || p2 != "v2")
    52. 

  52. C41: (p1 != "v3" || p5 != "v2" || p3 != "v3" || p2 != "v4" || p4 != "v3")
    53. 

  53. C42: (p1 != "v3" || p5 != "v1" || p4 != "v2" || p3 != "v1" || p2 != "v3")
    54. 

  54. C43: (p5 != "v2" || p4 != "v1" || p3 != "v3" || p2 != "v1" || p1 != "v1")
    55. 

  55. C44: (p1 != "v3" || p5 != "v1" || p4 != "v3" || p3 != "v1" || p2 != "v2")
    56. 

  56. C45: (p1 != "v3" || p5 != "v1" || p2 != "v4" || p4 != "v2" || p3 != "v1")
    57. 

  57. C46: (p1 != "v2" || p4 != "v3" || p2 != "v1" || p3 != "v1" || p5 != "v3")
    58. 

  58. C47: (p4 != "v3" || p3 != "v1" || p5 != "v3" || p1 != "v1" || p2 != "v2")
    59. 

  59. C48: (p5 != "v1" || p4 != "v1" || p1 != "v2" || p2 != "v1" || p3 != "v1")
    60. 

  60. C49: (p3 != "v3" || p2 != "v4" || p4 != "v2" || p5 != "v3" || p1 != "v1")
    61. 

  61. C50: (p5 != "v1" || p3 != "v3" || p2 != "v4" || p4 != "v2" || p1 != "v1")
    62. 

  62. C51: (p1 != "v3" || p5 != "v1" || p4 != "v2" || p2 != "v1" || p3 != "v1")
    63. 

  63. C52: (p1 != "v3" || p4 != "v1" || p3 != "v2" || p2 != "v1" || p5 != "v3")
    64. 

  64. C53: (p1 != "v3" || p3 != "v3" || p4 != "v3" || p5 != "v3" || p2 != "v2")
    65. 

  65. C54: (p1 != "v3" || p3 != "v2" || p4 != "v3" || p2 != "v1" || p5 != "v3")
    66. 

  66. C55: (p4 != "v1" || p3 != "v3" || p1 != "v2" || p2 != "v4" || p5 != "v3")
    67. 

  67. C56: (p5 != "v1" || p3 != "v3" || p4 != "v2" || p2 != "v1" || p1 != "v1")
    68. 

  68. C57: (p1 != "v3" || p5 != "v1" || p4 != "v1" || p2 != "v4" || p3 != "v2")
    69. 

  69. C58: (p1 != "v3" || p4 != "v1" || p2 != "v4" || p3 != "v2" || p5 != "v3")
    70. 

  70. C59: (p4 != "v1" || p1 != "v2" || p3 != "v1" || p2 != "v3" || p5 != "v3")
    71. 

  71. C60: (p5 != "v1" || p3 != "v2" || p4 != "v3" || p2 != "v1" || p1 != "v1")
    72. 

  72. C61: (p5 != "v2" || p4 != "v1" || p3 != "v3" || p2 != "v3" || p1 != "v1")
    73. 

  73. C62: (p4 != "v2" || p2 != "v1" || p3 != "v1" || p5 != "v3" || p1 != "v1")
    74. 

  74. C63: (p5 != "v2" || p4 != "v1" || p2 != "v1" || p3 != "v1" || p1 != "v1")
    75. 

  75. C64: (p5 != "v1" || p4 != "v2" || p3 != "v1" || p2 != "v3" || p1 != "v1")
    76. 

  76. C65: (p4 != "v1" || p2 != "v4" || p3 != "v2" || p5 != "v3" || p1 != "v1")
    77. 

  77. C66: (p1 != "v3" || p4 != "v1" || p3 != "v3" || p5 != "v3" || p2 != "v2")
    78. 

  78. C67: (p1 != "v3" || p4 != "v1" || p3 != "v1" || p5 != "v3" || p2 != "v2")
    79. 

  79. C68: (p4 != "v1" || p1 != "v2" || p2 != "v1" || p3 != "v1" || p5 != "v3")
    80. 

  80. C69: (p4 != "v1" || p3 != "v3" || p1 != "v2" || p2 != "v3" || p5 != "v3")
    81. 

  81. C70: (p1 != "v3" || p5 != "v2" || p4 != "v1" || p2 != "v1" || p3 != "v1")
    82. 

  82. C71: (p5 != "v1" || p4 != "v2" || p2 != "v1" || p3 != "v1" || p1 != "v1")
    83. 

  83. C72: (p5 != "v2" || p4 != "v1" || p3 != "v1" || p2 != "v3" || p1 != "v1")
    84. 

  84. C73: (p4 != "v1" || p3 != "v1" || p5 != "v3" || p1 != "v1" || p2 != "v2")
    85. 

  85. C74: (p5 != "v2" || p4 != "v1" || p2 != "v4" || p3 != "v1" || p1 != "v1")
    86. 

  86. C75: (p5 != "v1" || p4 != "v1" || p3 != "v2" || p2 != "v3" || p1 != "v1")
    87. 

  87. C76: (p1 != "v3" || p5 != "v1" || p3 != "v3" || p4 != "v2" || p2 != "v3")
    88. 

  88. C77: (p1 != "v3" || p4 != "v3" || p3 != "v1" || p5 != "v3" || p2 != "v2")
    89. 

  89. C78: (p1 != "v3" || p5 != "v1" || p3 != "v3" || p4 != "v2" || p2 != "v1")
    90. 

  90. C79: (p5 != "v2" || p3 != "v3" || p4 != "v3" || p2 != "v3" || p1 != "v1")
    91. 

  91. C80: (p1 != "v3" || p3 != "v3" || p4 != "v2" || p2 != "v3" || p5 != "v3")
    92. 

  92. C81: (p1 != "v3" || p5 != "v2" || p4 != "v3" || p2 != "v1" || p3 != "v1")
    93. 

  93. C82: (p1 != "v3" || p3 != "v2" || p4 != "v3" || p2 != "v3" || p5 != "v3")
    94. 

  94. C83: (p1 != "v3" || p4 != "v2" || p3 != "v1" || p2 != "v3" || p5 != "v3")
    95. 

  95. C84: (p5 != "v1" || p1 != "v2" || p4 != "v3" || p3 != "v1" || p2 != "v3")
    96. 

  96. C85: (p3 != "v3" || p4 != "v2" || p2 != "v3" || p5 != "v3" || p1 != "v1")
    97. 

  97. C86: (p5 != "v1" || p3 != "v3" || p1 != "v2" || p2 != "v4" || p4 != "v3")
    98. 

  98. C87: (p4 != "v1" || p3 != "v2" || p2 != "v1" || p5 != "v3" || p1 != "v1")
    99. 

  99. C88: (p5 != "v1" || p3 != "v2" || p4 != "v3" || p2 != "v3" || p1 != "v1")
    100. 

  100. C89: (p2 != "v4" || p4 != "v2" || p3 != "v1" || p5 != "v3" || p1 != "v1")
    101. 

  101. C90: (p1 != "v3" || p5 != "v2" || p3 != "v3" || p4 != "v3" || p2 != "v3")
    102. 

  102. C91: (p5 != "v1" || p4 != "v1" || p1 != "v2" || p2 != "v4" || p3 != "v1")
    103. 

  103. C92: (p3 != "v3" || p1 != "v2" || p4 != "v3" || p2 != "v3" || p5 != "v3")
    104. 

  104. C93: (p1 != "v3" || p5 != "v2" || p3 != "v3" || p4 != "v3" || p2 != "v1")
    105. 

  105. C94: (p1 != "v3" || p5 != "v1" || p3 != "v3" || p4 != "v3" || p2 != "v2")
    106. 

  106. C95: (p4 != "v1" || p3 != "v3" || p1 != "v2" || p2 != "v1" || p5 != "v3")
    107. 

  107. C96: (p2 != "v4" || p3 != "v2" || p4 != "v3" || p5 != "v3" || p1 != "v1")
    108. 

  108. C97: (p4 != "v1" || p3 != "v2" || p2 != "v3" || p5 != "v3" || p1 != "v1")
    109. 

  109. C98: (p3 != "v2" || p4 != "v3" || p2 != "v1" || p5 != "v3" || p1 != "v1")
    110. 

  110. C99: (p3 != "v3" || p1 != "v2" || p2 != "v4" || p4 != "v3" || p5 != "v3")
    111. 

  111. C100: (p1 != "v2" || p4 != "v3" || p3 != "v1" || p2 != "v3" || p5 != "v3")
    112. 

  112. C101: (p5 != "v2" || p4 != "v3" || p2 != "v1" || p3 != "v1" || p1 != "v1")
    113. 

  113. C102: (p1 != "v3" || p4 != "v2" || p2 != "v1" || p3 != "v1" || p5 != "v3")
    114. 

  114. C103: (p3 != "v3" || p4 != "v3" || p5 != "v3" || p1 != "v1" || p2 != "v2")
    115. 

  115. C104: (p5 != "v1" || p3 != "v3" || p4 != "v3" || p1 != "v1" || p2 != "v2")
    116. 

  116. C105: (p3 != "v2" || p4 != "v3" || p2 != "v3" || p5 != "v3" || p1 != "v1")
    117. 

  117. C106: (p5 != "v2" || p2 != "v4" || p4 != "v3" || p3 != "v1" || p1 != "v1")
    118. 

  118. C107: (p1 != "v3" || p3 != "v3" || p2 != "v4" || p4 != "v2" || p5 != "v3")
    119. 

  119. C108: (p5 != "v1" || p4 != "v3" || p3 != "v1" || p1 != "v1" || p2 != "v2")
    120. 

  120. C109: (p5 != "v1" || p4 != "v1" || p3 != "v2" || p2 != "v1" || p1 != "v1")
    121. 

  121. C110: (p5 != "v2" || p4 != "v1" || p3 != "v3" || p2 != "v4" || p1 != "v1")
    122. 

  122. C111: (p3 != "v3" || p4 != "v2" || p2 != "v1" || p5 != "v3" || p1 != "v1")
    123. 

  123. C112: (p5 != "v2" || p3 != "v3" || p4 != "v3" || p2 != "v1" || p1 != "v1")
    124.