Skip to main content

is_gratuitous

qualia_core_db::modalities::logic::deontic

Function is_gratuitous 

Source 
pub fn is_gratuitous(norms: &[NQuin], party: u64, action: u64) -> bool
Expand description

True iff action φ is gratuitous (non-obligatory) for party: ¬O(φ) — no active obligation over (party, action) (it may still be permitted or forbidden).