Struct Btor2Line

pub struct Btor2Line<'parser> { /* private fields */ }

Implementations

impl<'parser> Btor2Line<'parser>

pub fn id(&self) -> i64

positive id (non zero)

pub fn lineno(&self) -> i64

line number in original file

pub fn name(&self) -> &CStr

name in ASCII: “and”, “add”,…

pub fn tag(&self) -> Btor2Tag

same as name but encoded as enum

pub fn sort(&self) -> Btor2Sort<'_, '_>

pub fn init(&self) -> i64

non zero if initialized or has next

pub fn next(&self) -> i64

non zero if initialized or has next

pub fn constant(&self) -> Option<&CStr>

non zero for const, constd, consth

pub fn symbol(&self) -> Option<&CStr>

optional for: var array state input

pub fn args(&self) -> &[i64]

Trait Implementations

impl<'parser> Clone for Btor2Line<'parser>

fn clone(&self) -> Btor2Line<'parser>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'parser> Debug for Btor2Line<'parser>

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

Formats the value using the given formatter.