Skip to main content

OP_PERMIT

qualia_core_db::modalities::logic::deontic

Constant OP_PERMIT 

Source 
pub const OP_PERMIT: u8 = 0x11;
Expand description

P(φ) — the subject party may perform the action.