[−][src]Enum aiger::Aiger
A record from an AIGER file.
Variants
Input(Literal)
A literal marked as an input.
A latch.
Fields of Latch
Output(Literal)
A literal marked as an output.
An AND gate.
Fields of AndGate
An entry from the symbol table.
Fields of Symbol
type_spec: Symbol
The type specifier for the symbol.
position: usize
The position in the file of the input/latch/output that this symbol labels.
Though latches are listed in an AIGER file after inputs, and outputs after both inputs and latches, this position value is the index of the record within the records of the same type.
That is:
aag 8 2 2 2 0
// inputs
2 // position = 0
4 // position = 1
// latches
6 8 // position = 0
10 12 // position = 1
// and gates (cannot be assigned symbols)
...
// outputs
14 // position = 0
16 // position = 1
symbol: String
The actual symbol.
Trait Implementations
impl Clone for Aiger
[src]
impl Debug for Aiger
[src]
impl Eq for Aiger
[src]
impl Hash for Aiger
[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<Aiger> for Aiger
[src]
impl StructuralEq for Aiger
[src]
impl StructuralPartialEq for Aiger
[src]
Auto Trait Implementations
impl RefUnwindSafe for Aiger
impl Send for Aiger
impl Sync for Aiger
impl Unpin for Aiger
impl UnwindSafe for Aiger
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>,