+++
title = "Partial strict order of predicates"
author = "Yann Herklotz"
tags = []
categories = []
backlinks = ["2e1c2"]
forwardlinks = ["2e1c4", "2e1c3a"]
zettelid = "2e1c3"
+++

Therefore, only solution I can think of is to perform strict ordering
only on conditions that are *unsatisfiable*, but this seems
computationally expensive.

``` c
if (Q) { x = 2; }
else if (R) { x = 3; }
else if (P) { x = 1; }
else { x = 4; }
```