16.1.8 The Boolean Operator ^
- V is definitely assigned after a
^
b when true iff at least one of the following is true:
- V is definitely assigned after b.
- V is definitely assigned after a when true and V is definitely assigned after b when true.
- V is definitely assigned after a when false and V is definitely assigned after b when false.
- V is definitely assigned after a
^
b when false iff at least one of the following is true:
- V is definitely assigned after b.
- V is definitely assigned after a when true and V is definitely assigned after b when false.
- V is definitely assigned after a when false and V is definitely assigned after b when true.
- V is definitely assigned before a iff V is definitely assigned before a
^
b.
- V is definitely assigned before b iff V is definitely assigned after a.