[−][src]Enum aiger::AigerError
An error which occurs while parsing an AIGER file.
Variants
No AIGER header could be found, or the header which was found could not be parsed.
A literal which was not a positive integer was encountered.
A literal with a variable greater than the maximum declared in the AIGER header was encountered.
Too many or too few literals were encountered for the expected type of record.
An inverted literal was encountered where an inverted literal is not allowed.
An invalid symbol table entry was encountered.
An IO error occurred while reading.
Trait Implementations
impl Clone for AigerError
[src]
fn clone(&self) -> AigerError
[src]
fn clone_from(&mut self, source: &Self)
1.0.0[src]
impl Copy for AigerError
[src]
impl Debug for AigerError
[src]
impl Eq for AigerError
[src]
impl From<Error> for AigerError
[src]
impl Hash for AigerError
[src]
fn hash<__H: Hasher>(&self, state: &mut __H)
[src]
fn hash_slice<H>(data: &[Self], state: &mut H) where
H: Hasher,
1.3.0[src]
H: Hasher,
impl PartialEq<AigerError> for AigerError
[src]
impl StructuralEq for AigerError
[src]
impl StructuralPartialEq for AigerError
[src]
Auto Trait Implementations
impl RefUnwindSafe for AigerError
impl Send for AigerError
impl Sync for AigerError
impl Unpin for AigerError
impl UnwindSafe for AigerError
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,
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> ToOwned for T where
T: Clone,
[src]
T: Clone,
type Owned = T
The resulting type after obtaining ownership.
fn to_owned(&self) -> T
[src]
fn clone_into(&self, target: &mut T)
[src]
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.
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>,