Struct Btor2Sort

pub struct Btor2Sort<'line, 'parser> { /* private fields */ }

Implementations

impl<'line, 'parser> Btor2Sort<'line, 'parser>

pub fn id(&self) -> i64

pub fn tag(&self) -> Btor2SortTag

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

pub fn content(&self) -> Btor2SortContent

Trait Implementations

impl<'line, 'parser> Clone for Btor2Sort<'line, 'parser>

fn clone(&self) -> Btor2Sort<'line, 'parser>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'line, 'parser> Debug for Btor2Sort<'line, 'parser>

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

Formats the value using the given formatter.

impl<'line, 'parser> Copy for Btor2Sort<'line, 'parser>