Struct WfsRule 

pub struct WfsRule {
    pub head: WfsAtom,
    pub body: Vec<WfsLiteral>,
    pub provenance: PirNodeId,
}

A ground rule for WFS evaluation

A ground rule has no variables - all terms are concrete values. Each ground rule also carries a provenance formula for probabilistic tracking.

Fields

head: WfsAtom

The head atom this rule derives

body: Vec<WfsLiteral>

The body literals (all must be satisfied for rule to fire)

provenance: PirNodeId

Provenance formula for this specific ground instance This is the AND of all non-SCC body literal provenances

Implementations

impl WfsRule

pub fn new(head: WfsAtom, body: Vec<WfsLiteral>, provenance: PirNodeId) -> Self

Create a new ground rule

pub fn is_definitely_unsatisfiable( &self, true_set: &HashSet<WfsAtom>, false_set: &HashSet<WfsAtom>, ) -> bool

Check if rule body is definitely unsatisfiable.

Reserved API: used for early pruning in more advanced WFS implementations.

Trait Implementations

impl Clone for WfsRule

fn clone(&self) -> WfsRule

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for WfsRule

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.