pub fn try_reduce_prepared_recursive_epistemic_program(
prepared: &PreparedEpistemicProgram,
) -> Result<Option<Program>>Expand description
Return the ordinary fixpoint reduction selected for a prepared epistemic program.
pub fn try_reduce_prepared_recursive_epistemic_program(
prepared: &PreparedEpistemicProgram,
) -> Result<Option<Program>>Return the ordinary fixpoint reduction selected for a prepared epistemic program.