Struct ReasoningSystem 

pub struct ReasoningSystem {
    pub board: HypothesisBoard,
    pub graph: BeliefGraph,
}

Combined reasoning system with hypotheses and belief dependencies

Fields

board: HypothesisBoard

graph: BeliefGraph

Implementations

impl ReasoningSystem

pub fn new(board: HypothesisBoard) -> Self

pub fn in_memory() -> Self

pub async fn add_dependency( &mut self, hypothesis_id: HypothesisId, depends_on: HypothesisId, ) -> Result<()>

Create a dependency edge between hypotheses

pub fn remove_dependency( &mut self, hypothesis_id: HypothesisId, depends_on: HypothesisId, ) -> Result<bool>

Remove a dependency edge

pub fn dependents( &self, hypothesis_id: HypothesisId, ) -> Result<IndexSet<HypothesisId>>

Get dependents (what depends on this hypothesis)

pub fn dependees( &self, hypothesis_id: HypothesisId, ) -> Result<IndexSet<HypothesisId>>

Get dependees (what this hypothesis depends on)

pub fn dependency_chain( &self, hypothesis_id: HypothesisId, ) -> Result<IndexSet<HypothesisId>>

Get full dependency chain

pub fn detect_cycles(&self) -> Vec<Vec<HypothesisId>>

Detect cycles in the belief graph

pub async fn remove_hypothesis(&mut self, id: HypothesisId) -> Result<bool>

Remove a hypothesis and its graph node