A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | AA | |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|

1 | Non-Typing Predicates | ||||||||||||||||||||||||||

2 | Characteristic | Example | Blocks | ||||||||||||||||||||||||

3 | Strictly_greater_predicate_than | Expression > Expression | x > y | x < y | x = y | ||||||||||||||||||||||

4 | Predicate_greater_than_or_equal | Expression >= Expression | x >= y | x < y | |||||||||||||||||||||||

5 | Strictly_less_than_predicate | Expression < Expression | x < y | x > y | x = y | ||||||||||||||||||||||

6 | Less_than_or_equal_predicate | Expression <= Expression | x <= y | x > y | |||||||||||||||||||||||

7 | Equals_predicate | Expression = Expression | x = y | x /= y | |||||||||||||||||||||||

8 | Predicate_unequal | Expression /= Expression | x /= y | x = y | |||||||||||||||||||||||

9 | Negation_predicate | not(Predicate) | not(x > y) | x > y | |||||||||||||||||||||||

10 | Implication_predicate | Predicate => Predicate | P1 => P2 | not(P1 => P2) | |||||||||||||||||||||||

11 | Equivalence_predicate | Predicate <=> Predicate | P1 <=> P2 | not(P1 <=> P2) | |||||||||||||||||||||||

12 | Predicate_universel | ! list_ident . (Predicate => Predicate) | !v1,v2 . (P1 => P2) | not(!v1,v2 . (P1 => P2)) | |||||||||||||||||||||||

13 | Existential_predicate | # list_ident . (Predicate) | #v1,v2 . (P) | #v1,v2 . (not(P)) | |||||||||||||||||||||||

14 | Belongs_predicate | Expression : Expression | exp1 : exp2 | exp1 /: exp2 | |||||||||||||||||||||||

15 | Non_belongs_predicate | Expression /: Expression | exp1 /: exp2 | exp1 : exp2 | |||||||||||||||||||||||

16 | Predicate_includes | Expression <: Expression | exp1 <: exp2 | exp1 /<: exp2 | |||||||||||||||||||||||

17 | Non_inclusion_predicate | Expression /<: Expression | exp1 /<: exp2 | exp1 <: exp2 | |||||||||||||||||||||||

18 | Predicate_includes_strictly | Expression <<: Expression | exp1 <<: exp2 | exp1 /<<: exp2 | |||||||||||||||||||||||

19 | Non_inclusion_predicate_strict | Expression /<<: Expression | exp1 /<<: exp2 | exp1 <<: exp2 | |||||||||||||||||||||||

20 | |||||||||||||||||||||||||||

21 | |||||||||||||||||||||||||||

22 | Typing Predicates | ||||||||||||||||||||||||||

23 | Characteristic | Example | Blocks | ||||||||||||||||||||||||

24 | Is a natural number | id : NAT | x : NAT | x /: NAT | |||||||||||||||||||||||

25 | Is a natural number different than zero | id : NAT1 | x : NAT1 | x /: NAT1 | |||||||||||||||||||||||

26 | Is an integer | id : INT | x : INT | ||||||||||||||||||||||||

27 | Is a boolean | id : BOOL | x : BOOL | ||||||||||||||||||||||||

28 | Is a number in the rage | id : Expression..Expression | x : Exp1..Exp2 | x : MININT..Exp1-1 | x : Exp2+1..MAXINT | ||||||||||||||||||||||

29 | Is a member of abstract set | id : ID | x : SET | ||||||||||||||||||||||||

30 | Is a member of | id : id | x : y | x /: y | |||||||||||||||||||||||

31 | Is a total function | id : Simple_set --> Simple_set | x : SET --> SET | ||||||||||||||||||||||||

32 | Is a partial function | id : Simple_set +-> Simple_set | x : SET +-> SET | ||||||||||||||||||||||||

33 | Is an injective function | id : Simple_set >+> Simple_set | x : SET >+> SET | ||||||||||||||||||||||||

34 | Is a total surjective function | id : Simple_set -->> Simple_set | x : SET -->> SET | ||||||||||||||||||||||||

35 | Is a partial surjective function | id : Simple_set +->> Simple_set | x : SET +->> SET | ||||||||||||||||||||||||

36 | Is a bijective function | id : Simple_set >->> Simple_set | x : SET >->> SET | ||||||||||||||||||||||||

37 | Is a member of the enumerated set | id : { Simple_term+ } | x : { term1, term2, ..., termn } | x /: { term1, term2, ..., termn } | |||||||||||||||||||||||

38 | Is a string | id : STRING | x : STRING | ||||||||||||||||||||||||

39 | Is a subset of an abstract set | id <: ID | id <: ID | ||||||||||||||||||||||||

40 | Is a subset of the set of booleans | id <: BOOL | id <: BOOL | ||||||||||||||||||||||||

41 | Is a subset of the set of natural numbers | id <: NAT | id <: NAT | id /<: NAT | |||||||||||||||||||||||

42 | Is a subset of the set of natural numbers different than zero | id <: NAT1 | id <: NAT1 | id /<: NAT1 | |||||||||||||||||||||||

43 | Is a subset of the integer set | id <: INT | id <: INT | ||||||||||||||||||||||||

44 | Is a subset of a range | id <: Expression..Expression | id <: Expression..Expression | id /<: Expression..Expression | |||||||||||||||||||||||

45 | Is a subset of | id <: id | id <: id | id /<: id | |||||||||||||||||||||||

46 | Is a subset strict of an abstract set | id <<: ID | id <<: ID | id /<<: ID | |||||||||||||||||||||||

47 | Is a subset strict of the set of booleans | id <<: BOOL | id <<: BOOL | ||||||||||||||||||||||||

48 | Is a subset strict of the set of natural numbers | id <<: NAT | id <<: NAT | id /<<: NAT | |||||||||||||||||||||||

49 | Is a subset strict of the set of natural numbers different than zero | id <<: NAT1 | id <<: NAT1 | id /<<: NAT1 | |||||||||||||||||||||||

50 | Is a subset strict of the integer set | id <<: INT | id <<: INT | ||||||||||||||||||||||||

51 | Is a subset strict of a range | id <<: Expression..Expression | id <<: Expression..Expression | id /<<: Expression..Expression | |||||||||||||||||||||||

52 | Is a subset strict of | id <<: id | id <<: id | id /<<: id | |||||||||||||||||||||||

53 | Is equal to abstract set | id = ID | id = ID | id /= ID | |||||||||||||||||||||||

54 | Is equal to a term | id = Term | id = Term | id /= Term | |||||||||||||||||||||||

55 | Is equal to array | id = {X |-> A, Y|->B, ..., Z|-> C} or id = SET * {Term} | id = {X |-> A, Y|->B, ..., Z|-> C} or id = SET * {Term} | id /= {X |-> A, Y|->B, ..., Z|-> C} or id /= SET * {Term} | |||||||||||||||||||||||

56 | Is equal to range | id = Expression..Expression | id = Expression..Expression | id /= Expression..Expression | |||||||||||||||||||||||

57 | Is equal to the set of natural numbers | id = NAT | id = NAT | id /= NAT | |||||||||||||||||||||||

58 | Is equal to the set of natural numbers different than zero | id = NAT1 | id = NAT1 | id /= NAT1 | |||||||||||||||||||||||

59 | Is equal to the set of integers | id = INT | id = INT | id /= INT | |||||||||||||||||||||||

60 | |||||||||||||||||||||||||||

61 | Special Cases | ||||||||||||||||||||||||||

62 | CASE SWITCH | ||||||||||||||||||||||||||

63 | |||||||||||||||||||||||||||

64 | |||||||||||||||||||||||||||

65 | |||||||||||||||||||||||||||

66 | |||||||||||||||||||||||||||

67 | |||||||||||||||||||||||||||

68 | |||||||||||||||||||||||||||

69 | |||||||||||||||||||||||||||

70 | |||||||||||||||||||||||||||

71 | |||||||||||||||||||||||||||

72 | |||||||||||||||||||||||||||

73 | |||||||||||||||||||||||||||

74 | |||||||||||||||||||||||||||

75 | |||||||||||||||||||||||||||

76 | |||||||||||||||||||||||||||

77 | |||||||||||||||||||||||||||

78 | |||||||||||||||||||||||||||

79 | |||||||||||||||||||||||||||

80 | |||||||||||||||||||||||||||

81 | |||||||||||||||||||||||||||

82 | |||||||||||||||||||||||||||

83 | |||||||||||||||||||||||||||

84 | |||||||||||||||||||||||||||

85 | |||||||||||||||||||||||||||

86 | |||||||||||||||||||||||||||

87 | |||||||||||||||||||||||||||

88 | |||||||||||||||||||||||||||

89 | |||||||||||||||||||||||||||

90 | |||||||||||||||||||||||||||

91 | |||||||||||||||||||||||||||

92 | |||||||||||||||||||||||||||

93 | |||||||||||||||||||||||||||

94 | |||||||||||||||||||||||||||

95 | |||||||||||||||||||||||||||

96 | |||||||||||||||||||||||||||

97 | |||||||||||||||||||||||||||

98 | |||||||||||||||||||||||||||

99 | |||||||||||||||||||||||||||

100 |

Loading...

Main menu