Enum DefeatOrdering 

pub enum DefeatOrdering {
    LastLink,
    WeakestLink,
}

Defeat resolution ordering for ASPIC+.

Per M&P 2014 §3.5, two orderings are defined:

• DefeatOrdering::LastLink (default): compares arguments at the last defeasible rule or, when both rule frontiers are empty, at the last-premise frontier. Appropriate for legal and normative reasoning where rules carry more weight than the facts they act on.
• DefeatOrdering::WeakestLink: compares arguments on the full set of defeasible rules and ordinary premises they use. Appropriate for empirical reasoning where a chain is only as strong as its weakest link.

Variants

LastLink

Last-link ordering. Default.

WeakestLink

Weakest-link ordering.

Trait Implementations

impl Clone for DefeatOrdering

fn clone(&self) -> DefeatOrdering

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DefeatOrdering

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

Formats the value using the given formatter.

impl Default for DefeatOrdering

fn default() -> DefeatOrdering

Returns the “default value” for a type.

impl Hash for DefeatOrdering

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for DefeatOrdering

fn eq(&self, other: &DefeatOrdering) -> 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 Copy for DefeatOrdering

impl Eq for DefeatOrdering

impl StructuralPartialEq for DefeatOrdering