Struct Verdict 

pub struct Verdict { /* private fields */ }

Represents the final, justified outcome of a deontic evaluation.

For more details, see section 5 (Causality as EPP) and 8 (Teleology) in The EPP reference paper: https://github.com/deepcausality-rs/papers/blob/main/effect_propagation_process/epp.pdf

Implementations

impl Verdict

pub fn outcome(&self) -> TeloidModal

Returns the outcome of the verdict.

Returns

The TeloidModal representing the outcome.

pub fn justification(&self) -> &Vec<TeloidID>

Returns a reference to the justification for the verdict.

Returns

A reference to a Vec<TeloidID> containing the justification.

impl Verdict

pub fn new(outcome: TeloidModal, justification: Vec<TeloidID>) -> Self

Creates a new Verdict instance.

Arguments

• outcome - The final deontic modality of the verdict.
• justification - A vector of TeloidIDs providing the justification for the verdict.

Trait Implementations

impl Clone for Verdict

fn clone(&self) -> Verdict

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Verdict

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

Formats the value using the given formatter.

impl Display for Verdict

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

Formats the value using the given formatter.

impl PartialEq for Verdict

fn eq(&self, other: &Verdict) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for Verdict

impl StructuralPartialEq for Verdict