Rev 5755 | Rev 8356 | Go to most recent revision | Details | Compare with Previous | Last modification | View Log | RSS feed
Rev | Author | Line No. | Line |
---|---|---|---|
627 | schaersvoo | 1 | |
5903 | bpr | 2 | Alle logische beweringen zijn <em>string</em> gebaseerd: <span class="tt wims_code_words">string1 rel string2</span>. |
3 | Meerdere beweringen kunnen worden gekoppeld door de sleutelwoorden <span class="tt wims_code_words">\and</span> en<span class="tt wims_code_words">or</span>. |
||
627 | schaersvoo | 4 | Gebruik haakjes voor complexe constructies.<p> |
3469 | bpr | 5 | :Beschikbare types |
3263 | bpr | 6 | :string1 relatie $string2,conditie |
3469 | bpr | 7 | :== |
8 | string1 == string2 string1 = string2 |
||
3263 | bpr | 9 | is waar als beide strings identiek zijn. |
3469 | bpr | 10 | :!= |
11 | string1 != string2 string1 <> string2 |
||
3263 | bpr | 12 | is waar als beide strings niet gelijk zijn. |
3469 | bpr | 13 | :< |
14 | string1 < string2 |
||
5903 | bpr | 15 | is waar als de numerieke evaluatie van string1 kleiner is dan string2<br/>de nauwkeurigheid wordt bepaald door de variabele <span class="tt wims_code_words">wims_compare_precision</span> |
3469 | bpr | 16 | :<= |
17 | string1 <= string2 |
||
3263 | bpr | 18 | is waar als de numeriek evaluatie van string1 kleiner of gelijk is aan string2 |
3469 | bpr | 19 | :> |
20 | string1 > string2 |
||
3263 | bpr | 21 | is waar als de numerieke evaluatie van string1 groter is dan string2 |
3469 | bpr | 22 | :>= |
23 | string1 >= string2 |
||
5903 | bpr | 24 | is waar als de numeriek evalulate van <span class="tt wims_code_words">string1</span> groter of gelijk is aan <span class="tt wims_code_words">string2</span>. |
3469 | bpr | 25 | :isin |
26 | string1 isin string2 |
||
5903 | bpr | 27 | is waar als <span class="tt wims_code_words">string1</span> een sub_string is van <span class="tt wims_code_words">string2</span>. |
3469 | bpr | 28 | :notin |
29 | string1 notin string2 |
||
5903 | bpr | 30 | is waar als <span class="tt wims_code_words">string1</span> geen sub_string is van <span class="tt wims_code_words">string2</span>. |
3469 | bpr | 31 | :iswordof |
32 | string1 iswordof string2 |
||
5903 | bpr | 33 | is waar als <span class="tt wims_code_words">string1</span> een woord is uit<span class="tt wims_code_words">string2</span>. |
3469 | bpr | 34 | :notwordof |
35 | string1 notwordof string2 |
||
5903 | bpr | 36 | is waar als <span class="tt wims_code_words">string1</span> geen woord is uit <span class="tt wims_code_words">string2</span>. |
3469 | bpr | 37 | :isvarof |
38 | string1 isvarof string2 |
||
5903 | bpr | 39 | is waar als <span class="tt wims_code_words">string1</span> een (wiskundige) variabele is van de formule <span class="tt wims_code_words">string2</span>. |
3469 | bpr | 40 | :notvarof |
41 | string1 notvarof string2 |
||
5903 | bpr | 42 | is waar als <span class="tt wims_code_words">string1</span> geen (wiskundige) variabele is van de formule <span class="tt wims_code_words">string2</span>. |
3469 | bpr | 43 | :isvariableof |
44 | string1 isvariableof string2 |
||
5903 | bpr | 45 | is waar als <span class="tt wims_code_words">string1</span> een (wiskundige) variabele is van de formule <span class="tt wims_code_words">string2</span>. |
3469 | bpr | 46 | :notvariableof |
47 | string1 notvariableof string2 |
||
5903 | bpr | 48 | is waar als <span class="tt wims_code_words">string1</span> geen (wiskundige) variabele is van de formule <span class="tt wims_code_words">string2</span>. |
3469 | bpr | 49 | :isitemof |
50 | string1 isitemof string2 |
||
5903 | bpr | 51 | is waar als <span class="tt wims_code_words">string1</span> een item is uit lijst <span class="tt wims_code_words">string2</span>. |
3469 | bpr | 52 | :notitemof |
53 | string1 notitemof string2 |
||
5903 | bpr | 54 | is waar als <span class="tt wims_code_words">string1</span> geen item is uit lijst <span class="tt wims_code_words">string2</span>. |
3469 | bpr | 55 | :islineof |
56 | string1 islineof string2 |
||
5903 | bpr | 57 | is waar als <span class="tt wims_code_words">string1</span> een regel is uit lijst <span class="tt wims_code_words">string2</span>. |
3469 | bpr | 58 | :notlineof |
59 | string1 notlineof string2 |
||
5903 | bpr | 60 | is waar als <span class="tt wims_code_words">string1</span> geen regel is uit lijst <span class="tt wims_code_words">string2</span>. |
3469 | bpr | 61 | :issamecase |
62 | string1 issamecase string2 |
||
5903 | bpr | 63 | is waar als <span class="tt wims_code_words">string1</span> en <span class="tt wims_code_words">string2</span> dezelfde tekst zijn, onafhankelijk van spaties maar wel hoofdletter gevoelig. |
3469 | bpr | 64 | :notsamecase |
65 | string1 notsamecase string2 |
||
5903 | bpr | 66 | is waar als <span class="tt wims_code_words">string1</span> en <span class="tt wims_code_words">string2</span> niet dezelfde tekst zijn, onafhankelijk van spaties maar wel hoofdletter gevoelig. |
3469 | bpr | 67 | :issametext |
68 | string1 issametext string2 |
||
5903 | bpr | 69 | is waar als <span class="tt wims_code_words">string1</span> en <span class="tt wims_code_words">string2</span> dezelfde tekst zijn, onafhankelijk van accenten,meerdere spaties of hoofdletters. |
3469 | bpr | 70 | :notsametext |
71 | string1 notsametext string2 |
||
5903 | bpr | 72 | is waar als <span class="tt wims_code_words">string1</span> en <span class="tt wims_code_words">string2</span> niet dezelfde tekst zijn, onafhankelijk van accenten,meerdere spaties of hoofdletters. |
3263 | bpr | 73 |