[−][src]Struct btor2tools::Btor2Parser
Implementations
impl Btor2Parser[src]
pub fn new() -> Self[src]
pub fn read_lines<P>(
&mut self,
file: P
) -> Result<Btor2LineIterator<'_>, Btor2ParserError> where
P: AsRef<Path>, [src]
&mut self,
file: P
) -> Result<Btor2LineIterator<'_>, Btor2ParserError> where
P: AsRef<Path>,
Parses a Btor2 file and returns an iterator to all every formatted line on success. On failure, the error includes the line number, where the error occured.
Trait Implementations
impl Drop for Btor2Parser[src]
Auto Trait Implementations
impl RefUnwindSafe for Btor2Parser
impl !Send for Btor2Parser
impl !Sync for Btor2Parser
impl Unpin for Btor2Parser
impl UnwindSafe for Btor2Parser
Blanket Implementations
impl<T> Any for T where
T: 'static + ?Sized, [src]
T: 'static + ?Sized,
impl<T> Borrow<T> for T where
T: ?Sized, [src]
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized, [src]
T: ?Sized,
pub fn borrow_mut(&mut self) -> &mut T[src]
impl<T> From<T> for T[src]
impl<T, U> Into<U> for T where
U: From<T>, [src]
U: From<T>,
impl<T, U> TryFrom<U> for T where
U: Into<T>, [src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
pub fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>, [src]
U: TryFrom<T>,