User manual

| (begrensningsoperator)
/k-taster
Uttr | BoolskUttr1 [and BoolskUttr2]...
Uttr | BoolskUttr1 [or BoolskUttr2]...
Begrensningssymbolet (“|”) fungerer som
en binær operator. Operanden til venstre
for | er et uttrykk. Operanden til høyre for |
spesifiserer en eller flere relasjoner som
kan ha innvirkning på forenklingen av
uttrykket. Flere forbindelser etter | må
sammenføyes av logiske “and” eller “or”
operatorer.
Med begrensningsoperatoren har du tre
utgangstyper av funksjonalitet:
• Erstatninger
• Intervallbegrensninger
• Eksklusjoner
En erstatning har form som en ligning, som
x=3 eller y=sin(x). For at den skal være mest
effektiv, bør den venstre siden være en
enkel variabel. Uttr | Variabel = verdi vil
erstatte verdi for hver forekomst av
Variabel i Uttr.
Intervallbegrensninger tar form som en
eller flere ulikheter som er føyd sammen av
logiske “and” eller “or” operatorer. En
intervallbegrensning tillater også forenkling
som ellers kan være ugyldig eller ikke mulig
å beregne.
Symboler 239