Struct CycleDetector 

pub struct CycleDetector { /* private fields */ }

Cycle detection context for recursive queries

Implementations

impl CycleDetector

pub fn new() -> Self

Create a new cycle detector

pub fn push(&mut self, goal: &Predicate) -> bool

Push a goal onto the stack, returns false if cycle detected

pub fn pop(&mut self)

Pop a goal from the stack

pub fn would_cycle(&self, goal: &Predicate) -> bool

Check if a goal would create a cycle

pub fn depth(&self) -> usize

Get the current depth

pub fn clear(&mut self)

Clear the detector

Trait Implementations

impl Clone for CycleDetector

fn clone(&self) -> CycleDetector

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CycleDetector

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

Formats the value using the given formatter.

impl Default for CycleDetector

fn default() -> CycleDetector

Returns the “default value” for a type.