57 lines
1.1 KiB
Markdown
57 lines
1.1 KiB
Markdown
# Predicates: Standard
|
|
|
|
Refer to [Terminology](./terminology.md) for information about specific terms.
|
|
|
|
[[_TOC_]]
|
|
|
|
## And
|
|
|
|
The `and` predicate calculates the logical AND of some list of predicates. For
|
|
this predicate, a `match` corresponds to `true` and a `miss` corresponds to
|
|
`false`.
|
|
|
|
> Only match if all contained predicates match.
|
|
|
|
### Case: Empty List
|
|
|
|
The predicate always misses.
|
|
|
|
Since there are no predicates, nothing can possibly match.
|
|
|
|
### Case: Single Predicate
|
|
|
|
Identiical to that single predicate.
|
|
|
|
### Case: Multiple Predicates
|
|
|
|
The logical AND of the predicate results.
|
|
|
|
## Or
|
|
|
|
The `or` predicate calculates the logical OR of some list of predicates. For
|
|
this predicate, a `match` corresponds to `true` and a `miss` corresponds to
|
|
`false`.
|
|
|
|
> Only match if any contained predicate matches.
|
|
|
|
### Case: Empty List
|
|
|
|
The predicate always misses.
|
|
|
|
Since there are no predicates, nothing can possibly match.
|
|
|
|
### Case: Single Predicate
|
|
|
|
Identiical to that single predicate.
|
|
|
|
### Case: Multiple Predicates
|
|
|
|
The logical OR of the predicate results.
|
|
|
|
## True
|
|
|
|
This predicate always matches.
|
|
|
|
## False
|
|
|
|
This predicate always misses.
|