Struct Offset 

pub struct Offset(/* private fields */);

An offset gives the index of current and next step.

Implementations

impl Offset

pub fn curr(&self) -> usize

Index of the current state.

pub fn next(&self) -> usize

Index of the next state.

Trait Implementations

impl Clone for Offset

fn clone(&self) -> Offset

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Offset

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

Formats the value using the given formatter.

impl<'a> Expr2Smt<&'a Offset> for SExpr

fn expr_to_smt2<Writer: Write>( &self, writer: &mut Writer, off: &'a Offset, ) -> SmtRes<()>

Prints an expression to a writer given some info.

impl<'a> Expr2Smt<&'a Offset> for Var

fn expr_to_smt2<Writer: Write>( &self, writer: &mut Writer, off: &'a Offset, ) -> SmtRes<()>

Prints an expression to a writer given some info.

impl PartialEq for Offset

fn eq(&self, other: &Offset) -> 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<'a> Sym2Smt<&'a Offset> for Var

fn sym_to_smt2<Writer: Write>( &self, writer: &mut Writer, off: &'a Offset, ) -> SmtRes<()>

Prints a symbol to a writer given some info.

impl Copy for Offset

impl StructuralPartialEq for Offset