Skip to content

Commit

Permalink
latex, quality (#413)
Browse files Browse the repository at this point in the history
  • Loading branch information
milesstoetzner committed Sep 21, 2024
1 parent b8060e3 commit a7bdd3e
Show file tree
Hide file tree
Showing 45 changed files with 78,695 additions and 17,544 deletions.
17 changes: 9 additions & 8 deletions docs/docs/variability4tosca/specification/index.md
Original file line number Diff line number Diff line change
Expand Up @@ -962,14 +962,15 @@ The following intrinsic functions can be used inside a variability expression.

The following logical operators can be used inside a logic expression.

| Keyname | Input | Output | Description |
|----------|---------------------------------------------|---------|----------------------------------------------------|
| and | List(BooleanExpression) | Boolean | Evaluates if all values are `true`. |
| or | List(BooleanExpression) | Boolean | Evaluates if at least one value is `true`. |
| not | BooleanExpression | Boolean | Negates the given value. |
| xor | List(BooleanExpression) | Boolean | Evaluates if exactly one value is `true`. |
| implies | Tuple(BooleanExpression, BooleanExpression) | Boolean | Evaluates if first value implies the second value. |
| amo | List(BooleanExpression) | Boolean | Evaluates if at most one value is `true`. |
| Keyname | Input | Output | Description |
|---------|---------------------------------------------|---------|----------------------------------------------------|
| and | List(BooleanExpression) | Boolean | Evaluates if all values are `true`. |
| or | List(BooleanExpression) | Boolean | Evaluates if at least one value is `true`. |
| not | BooleanExpression | Boolean | Negates the given value. |
| xor | List(BooleanExpression) | Boolean | Evaluates if an odd number of arguments is `true`. |
| exo | List(BooleanExpression) | Boolean | Evaluates if exactly one value is `true`. |
| implies | Tuple(BooleanExpression, BooleanExpression) | Boolean | Evaluates if first value implies the second value. |
| amo | List(BooleanExpression) | Boolean | Evaluates if at most one value is `true`. |

### Arithmetic Operators

Expand Down

Large diffs are not rendered by default.

Large diffs are not rendered by default.

Large diffs are not rendered by default.

Large diffs are not rendered by default.

Large diffs are not rendered by default.

Large diffs are not rendered by default.

Large diffs are not rendered by default.

Large diffs are not rendered by default.

Large diffs are not rendered by default.

Large diffs are not rendered by default.

Large diffs are not rendered by default.

Large diffs are not rendered by default.

Large diffs are not rendered by default.

Large diffs are not rendered by default.

Loading

0 comments on commit a7bdd3e

Please sign in to comment.