If you use several criteria for a search filter, you can link these criteria in two different ways: by using operators and/or groupings.
Wenn Sie für den Suchfilter mehrere Kriterien verwenden, können Sie diese Kriterien auf zwei unterschiedliche Weisen miteinander verknüpfen: durch Verwendung von Operatoren und/oder durch Gruppierungen.
When using operators (+, -, , and so on) where both operands are integers.
Bei der Verwendung von Operatoren (+, -, usw.), wenn beide Operanden Integers sind.
Modify variable values using operators
Ändern von Variablenwerten mithilfe von Operatoren.
Terms in a rewrite theory are constructed using operators (functions taking 0 or more arguments of some sort, which return a term of a specific sort).
Terme in einer Umschreibetheorie werden mit Operatoren mit 0 oder mehr Argumenten gewisser sogenannter Sorten, die einen Term einer gewisser Sorte ergibt.
The SPML server now returns errors if requests contain filters using operators that are not yet implemented.
Der SPML-Server gibt nun Fehler zurück, wenn Anforderungen Filter mit Operatoren enthalten, die noch nicht implementiert sind.
See Finding text and characters for more information on using operators.
Weitere Informationen zur Verwendung von Operatoren finden Sie unter Suchen nach Text und Zeichen.
Potentieel gevoelige of ongepaste informatie
Er worden alleen voorbeelden gegeven om u te helpen het woord of de woordcombinatie waarop u hebt gezocht, te vertalen. Deze worden niet door ons geselecteerd of gevalideerd en kunnen ongepaste taal bevatten. Wij vragen u melding te maken van voorbeelden die dienen te worden aangepast of verwijderd. Vertalingen met grof of informeel taalgebruik worden meestal rood of oranje gemarkeerd.