Subversion Repositories wimsdev

Rev

Rev 3469 | Rev 5903 | Go to most recent revision | Blame | Compare with Previous | Last modification | View Log | RSS feed


Alle logische beweringen zijn <em>string</em> gebaseerd: <tt class="wims_code_words">string1 rel string2</tt>.
Meerdere beweringen kunnen worden gekoppeld door de sleutelwoorden <tt class="wims_code_words">\and</tt> en<tt class="wims_code_words">or</tt>. 
Gebruik haakjes voor complexe constructies.<p>
:Beschikbare types
:string1 relatie $string2,conditie
:==
string1  ==  string2  string1  =  string2 
is waar als beide strings identiek zijn.
:!=
string1  !=  string2  string1  &lt;&gt;  string2
is waar als beide strings niet gelijk zijn.
:<
string1  <  string2
is waar als de numerieke evaluatie van string1 kleiner is dan string2<br>de nauwkeurigheid wordt bepaald door de variabele <tt class="wims_code_words">wims_compare_precision</tt>
:<=
string1  <=  string2
is waar als de numeriek evaluatie van string1 kleiner of gelijk is aan string2
:>
string1  >  string2
is waar als de numerieke evaluatie van string1 groter is dan string2
:>=
string1  >=  string2
is waar als de numeriek evalulate van <tt class="wims_code_words">string1</tt> groter of gelijk is aan <tt class="wims_code_words">string2</tt>.
:isin
string1  isin  string2
is waar als <tt class="wims_code_words">string1</tt> een sub_string is van <tt class="wims_code_words">string2</tt>.
:notin
string1  notin  string2
is waar als <tt class="wims_code_words">string1</tt> geen sub_string is van <tt class="wims_code_words">string2</tt>.
:iswordof
string1  iswordof  string2
is waar als <tt class="wims_code_words">string1</tt> een woord is uit<tt class="wims_code_words">string2</tt>.
:notwordof
string1  notwordof  string2
is waar als <tt class="wims_code_words">string1</tt> geen woord is uit <tt class="wims_code_words">string2</tt>.
:isvarof
string1  isvarof  string2
is waar als <tt class="wims_code_words">string1</tt> een (wiskundige) variabele is van de formule <tt class="wims_code_words">string2</tt>.
:notvarof
string1  notvarof  string2
is waar als <tt class="wims_code_words">string1</tt> geen (wiskundige) variabele is van de formule <tt class="wims_code_words">string2</tt>.
:isvariableof
string1  isvariableof  string2
is waar als <tt class="wims_code_words">string1</tt> een (wiskundige) variabele is van de formule <tt class="wims_code_words">string2</tt>.
:notvariableof
string1  notvariableof  string2
is waar als <tt class="wims_code_words">string1</tt> geen (wiskundige) variabele is van de formule <tt class="wims_code_words">string2</tt>.
:isitemof
string1  isitemof  string2
is waar als <tt class="wims_code_words">string1</tt> een item is uit lijst <tt class="wims_code_words">string2</tt>.
:notitemof
string1  notitemof  string2
is waar als <tt class="wims_code_words">string1</tt> geen item is uit lijst <tt class="wims_code_words">string2</tt>.
:islineof
string1  islineof  string2
is waar als <tt class="wims_code_words">string1</tt> een regel is uit lijst <tt class="wims_code_words">string2</tt>.
:notlineof
string1  notlineof  string2
is waar als <tt class="wims_code_words">string1</tt> geen regel is uit lijst <tt class="wims_code_words">string2</tt>.
:issamecase
string1  issamecase  string2
is waar als <tt class="wims_code_words">string1</tt> en <tt class="wims_code_words">string2</tt> dezelfde tekst zijn, onafhankelijk van spaties maar wel hoofdletter gevoelig.
:notsamecase
string1  notsamecase  string2
is waar als <tt class="wims_code_words">string1</tt> en <tt class="wims_code_words">string2</tt> niet dezelfde tekst zijn, onafhankelijk van spaties maar wel hoofdletter gevoelig.
:issametext
string1  issametext  string2
is waar als <tt class="wims_code_words">string1</tt> en <tt class="wims_code_words">string2</tt> dezelfde tekst zijn, onafhankelijk van accenten,meerdere spaties of hoofdletters.
:notsametext
string1  notsametext  string2
is waar als <tt class="wims_code_words">string1</tt> en <tt class="wims_code_words">string2</tt> niet dezelfde tekst zijn, onafhankelijk van accenten,meerdere spaties of hoofdletters.