Struct WfsResult 

pub struct WfsResult {
    pub true_set: HashMap<WfsAtom, PirNodeId>,
    pub false_set: HashSet<WfsAtom>,
}

Result of WFS evaluation for an SCC

Fields

true_set: HashMap<WfsAtom, PirNodeId>

Atoms known to be true with their provenance

false_set: HashSet<WfsAtom>

Atoms known to be false

Implementations

impl WfsResult

pub fn new() -> Self

Create an empty WFS result

pub fn truth_value(&self, atom: &WfsAtom) -> TruthValue

Get the truth value of an atom

pub fn provenance(&self, atom: &WfsAtom) -> Option<PirNodeId>

Get the provenance for a true atom

pub fn is_undefined(&self, atom: &WfsAtom) -> bool

Check if an atom is undefined

pub fn undefined_atoms<'a>( &self, atoms: impl Iterator<Item = &'a WfsAtom>, ) -> Vec<&'a WfsAtom>

Get all undefined atoms from a set of atoms

Trait Implementations

impl Clone for WfsResult

fn clone(&self) -> WfsResult

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for WfsResult

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

Formats the value using the given formatter.

impl Default for WfsResult

fn default() -> Self

Returns the “default value” for a type.