Struct Contradiction 

pub struct Contradiction { /* private fields */ }

Contradiction between two distinct statements.

Implementations

impl Contradiction

pub fn new( statement_id: StatementId, disputed_id: StatementId, contradicts_id: StatementId, ) -> Result<Self, ValidationError>

Creates a contradiction body from required fields.

pub const fn kind(&self) -> StatementKind

Returns this body kind.

pub const fn statement_id(&self) -> &StatementId

Returns the contradiction statement identifier.

pub const fn disputed_id(&self) -> &StatementId

Returns the disputed statement identifier.

pub const fn contradicts_id(&self) -> &StatementId

Returns the contradicting statement identifier.

Trait Implementations

impl Debug for Contradiction

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

Formats the value using the given formatter.

impl Eq for Contradiction

impl PartialEq for Contradiction

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