Struct Reasoning 

pub struct Reasoning {
    pub tree: String,
    pub moves: Vec<Seen>,
    pub says: Vec<Told>,
    pub folded: Vec<Folded>,
}

A whole reasoning, ready to print or to draw.

Fields

tree: String

moves: Vec<Seen>

In the order they were made, which is the order siblings are drawn in.

says: Vec<Told>

folded: Vec<Folded>

Implementations

impl Reasoning

pub fn went(&self, name: &str) -> Option<&Seen>

The move of that name, if there is one.

pub fn below(&self, name: &str) -> Vec<&Seen>

What hangs under that move, in the order they were made — a decision that named it and hangs nowhere included.

pub fn covers(&self, by: &[String]) -> Result<Vec<String>, Trouble>

What a scope with those roots reaches: the roots and everything under them, in the order they were made.

The one derivation a reader cannot redo by hand and get right — under is multivalued, so it is a walk over a DAG and not a subtree. With it, do these two scopes touch is an intersection. Fails if a name is not one of these moves.

Trait Implementations

impl Clone for Reasoning

fn clone(&self) -> Reasoning

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Reasoning

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

Formats the value using the given formatter.

impl Serialize for Reasoning

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.