Skip to main content

remedy_scenarios

qualia_core_db::modalities::deontic_compose

Function remedy_scenarios 

Source 
pub fn remedy_scenarios(
    atoms: &[u64],
    rules: &[AspRule],
    out: &mut [u64],
) -> usize
Expand description

Enumerate the valid compliance scenarios when an instrument under-determines the remedy (“the State shall provide remedy X, Y, or Z”): the stable models (answer sets) of the remedy rules over atoms, written to out as bitmasks over atom indices. Composes asp::compute_answer_sets.