Skip to main content

extract_deontic_opcode

qualia_core_db::modalities::logic::deontic

Function extract_deontic_opcode 

Source 
pub fn extract_deontic_opcode(predicate: u64) -> u8
Expand description

Extracts the deontic opcode from bits [0..7] of a predicate word.