Struct mikino_api::check::StepRes

pub struct StepRes<'sys> { /* private fields */ }

Result of a step check, simply wraps a CheckRes.

Implementations

impl<'sys> StepRes<'sys>

pub fn as_inner(&self) -> &CheckRes<'sys>

Inner result accessor (borrow).

pub fn into_inner(self) -> CheckRes<'sys>

Inner result accessor (move).

Methods from Deref<Target = CheckRes<'sys>>

pub fn all_falsified(&self) -> bool

True if all POs have been falsified.

pub fn has_falsifications(&self) -> bool

True if some POs have been falsified.

pub fn register_falsification(
    &mut self,
    po: &'s String,
    solver: &mut SFSolver
) -> Res<()>

Registers a falsification.

Errors

• when po does not belong to self.okay;
• when a falsification for po has already been registered.

Trait Implementations

impl<'sys> Deref for StepRes<'sys>

type Target = CheckRes<'sys>

The resulting type after dereferencing.

fn deref(&self) -> &CheckRes<'sys>

Dereferences the value.

impl<'sys> DerefMut for StepRes<'sys>

fn deref_mut(&mut self) -> &mut CheckRes<'sys>

Mutably dereferences the value.

impl<'sys> From<CheckRes<'sys>> for StepRes<'sys>

fn from(res: CheckRes<'sys>) -> StepRes<'_>

Converts to this type from the input type.