pub const OP_OPTIONAL: u8 = 0x13;Expand description
U(φ) — optionality / indifference: ¬O(φ) ∧ ¬F(φ). The system is indifferent;
neither doing nor omitting φ is a violation. May be asserted or derived
(see is_optional).
pub const OP_OPTIONAL: u8 = 0x13;U(φ) — optionality / indifference: ¬O(φ) ∧ ¬F(φ). The system is indifferent;
neither doing nor omitting φ is a violation. May be asserted or derived
(see is_optional).