Mapping characteristics to blocks
 Share
The version of the browser you are using is no longer supported. Please upgrade to a supported browser.Dismiss

 
View only
 
 
ABCDEFGHIJKLMNOPQRSTUVWXYZAA
1
Non-Typing Predicates
2
CharacteristicExampleBlocks
3
Strictly_greater_predicate_thanExpression > Expressionx > yx < yx = y
4
Predicate_greater_than_or_equal Expression >= Expressionx >= yx < y
5
Strictly_less_than_predicateExpression < Expressionx < yx > yx = y
6
Less_than_or_equal_predicateExpression <= Expressionx <= yx > y
7
Equals_predicateExpression = Expressionx = yx /= y
8
Predicate_unequalExpression /= Expressionx /= yx = y
9
Negation_predicatenot(Predicate)not(x > y)x > y
10
Implication_predicatePredicate => PredicateP1 => P2not(P1 => P2)
11
Equivalence_predicatePredicate <=> PredicateP1 <=> P2not(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_predicateExpression : Expressionexp1 : exp2exp1 /: exp2
15
Non_belongs_predicateExpression /: Expressionexp1 /: exp2exp1 : exp2
16
Predicate_includesExpression <: Expressionexp1 <: exp2exp1 /<: exp2
17
Non_inclusion_predicateExpression /<: Expressionexp1 /<: exp2exp1 <: exp2
18
Predicate_includes_strictlyExpression <<: Expressionexp1 <<: exp2exp1 /<<: exp2
19
Non_inclusion_predicate_strictExpression /<<: Expressionexp1 /<<: exp2exp1 <<: exp2
20
21
22
Typing Predicates
23
CharacteristicExampleBlocks
24
Is a natural numberid : NATx : NATx /: NAT
25
Is a natural number different than zeroid : NAT1x : NAT1x /: NAT1
26
Is an integerid : INTx : INT
27
Is a booleanid : BOOLx : BOOL
28
Is a number in the rageid : Expression..Expressionx : Exp1..Exp2x : MININT..Exp1-1x : Exp2+1..MAXINT
29
Is a member of abstract setid : IDx : SET
30
Is a member ofid : idx : yx /: y
31
Is a total functionid : Simple_set --> Simple_setx : SET --> SET
32
Is a partial functionid : Simple_set +-> Simple_setx : SET +-> SET
33
Is an injective functionid : Simple_set >+> Simple_setx : SET >+> SET
34
Is a total surjective functionid : Simple_set -->> Simple_setx : SET -->> SET
35
Is a partial surjective functionid : Simple_set +->> Simple_setx : SET +->> SET
36
Is a bijective functionid : Simple_set >->> Simple_setx : SET >->> SET
37
Is a member of the enumerated setid : { Simple_term+ }x : { term1, term2, ..., termn }x /: { term1, term2, ..., termn }
38
Is a stringid : STRINGx : STRING
39
Is a subset of an abstract setid <: IDid <: ID
40
Is a subset of the set of booleansid <: BOOLid <: BOOL
41
Is a subset of the set of natural numbersid <: NATid <: NATid /<: NAT
42
Is a subset of the set of natural numbers different than zeroid <: NAT1id <: NAT1id /<: NAT1
43
Is a subset of the integer setid <: INTid <: INT
44
Is a subset of a rangeid <: Expression..Expressionid <: Expression..Expressionid /<: Expression..Expression
45
Is a subset of id <: idid <: idid /<: id
46
Is a subset strict of an abstract setid <<: IDid <<: IDid /<<: ID
47
Is a subset strict of the set of booleansid <<: BOOLid <<: BOOL
48
Is a subset strict of the set of natural numbersid <<: NATid <<: NATid /<<: NAT
49
Is a subset strict of the set of natural numbers different than zero
id <<: NAT1id <<: NAT1id /<<: NAT1
50
Is a subset strict of the integer setid <<: INTid <<: INT
51
Is a subset strict of a rangeid <<: Expression..Expressionid <<: Expression..Expressionid /<<: Expression..Expression
52
Is a subset strict of id <<: idid <<: idid /<<: id
53
Is equal to abstract setid = IDid = IDid /= ID
54
Is equal to a termid = Termid = Termid /= 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 rangeid = Expression..Expressionid = Expression..Expressionid /= Expression..Expression
57
Is equal to the set of natural numbersid = NATid = NATid /= NAT
58
Is equal to the set of natural numbers different than zeroid = NAT1id = NAT1id /= NAT1
59
Is equal to the set of integersid = INTid = INTid /= 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...
 
 
 
EC_PredicateCharacteristic
BV_PredicateCharacteristic
 
 
Main menu