blob: 6a31042a19affaaa1f67dcd1a0233d2e0b98509f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
|
---
title: Booleans
weight: 2
---
All arguments are assumed to be of the same type.
### Conjunction
{{< fatecode >}}(and [B0 = BOOL] ... [BN = BOOL]){{< /fatecode >}}
Standard conjunction (minimum of 2 arguments).
### Disjunction
{{< fatecode >}}(or [B0 = BOOL] ... [BN = BOOL]){{< /fatecode >}}
Standard disjunction (minimum of 2 arguments).
### Negation
{{< fatecode >}}(not [BOOL]){{< /fatecode >}}
Standard negation.
### Implication
{{< fatecode >}}(implies [B0 = BOOL] [B1 = BOOL]){{< /fatecode >}}
Standard implication.
### Exclusivity
{{< fatecode >}}(one_in [B0 = BOOL] ... [BN = BOOL]){{< /fatecode >}}
true if, and only if, exactly one of the operands is true. There needs to be at
least one argument.
### Equality
{{< fatecode >}}(= [C0 = COMPUTATION*] ... [CN = COMPUTATION*]){{< /fatecode >}}
True if, and only if, all operands are equal. Takes at least 2 arguments.
### Strictly less than
{{< fatecode >}}(< [C0 = COMPARABLE] [C1 = COMPARABLE]){{< /fatecode >}}
True if, and only if, `C0` is strictly lower than `C1`.
### Less than
{{< fatecode >}}(=< [C0 = COMPARABLE] [C1 = COMPARABLE]){{< /fatecode >}}
True if, and only if, `C0` is lower or equal to/than `C1`.
### Strictly more than
{{< fatecode >}}(> [C0 = COMPARABLE] [C1 = COMPARABLE]){{< /fatecode >}}
True if, and only if, `C0` is strictly higher than `C1`.
### More than
{{< fatecode >}}(>= [C0 = COMPARABLE] [C1 = COMPARABLE]){{< /fatecode >}}
True if, and only if, `C0` is higher or equal to/than `C1`.
|
