Skip to main content

evaluate_wfs_with_rules

xlog_prob::wfs

Function evaluate_wfs_with_rules 

Source 
pub fn evaluate_wfs_with_rules(
    rules: Vec<WfsRule>,
    pir: &mut PirGraph,
) -> Result<WfsResult>
Expand description

Evaluate WFS with provided ground rules.

This is the main entry point for WFS evaluation during provenance extraction. The caller (provenance extractor) is responsible for:

  1. Detecting non-monotone SCCs
  2. Grounding the rules in those SCCs
  3. Providing the ground rules with their provenances