Struct DependencyGraph 

pub struct DependencyGraph {
    pub predicates: HashSet<String>,
    /* private fields */
}

Dependency graph for stratification analysis.

Fields

predicates: HashSet<String>

Set of all predicate names in the graph.

Implementations

impl DependencyGraph

pub fn new() -> Self

Create an empty dependency graph.

pub fn add_predicate(&mut self, name: String)

Add a predicate node to the graph.

Trait Implementations

impl Debug for DependencyGraph

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

Formats the value using the given formatter.

impl Default for DependencyGraph

fn default() -> DependencyGraph

Returns the “default value” for a type.