Skip to main content

build_epistemic_dependency_graph

xlog_logic::epistemic

Function build_epistemic_dependency_graph 

Source 
pub fn build_epistemic_dependency_graph(
    program: &Program,
) -> Result<EpistemicDependencyGraph>
Expand description

Build a deterministic dependency graph for bounded epistemic splitting.