Enum aiger::Aiger

pub enum Aiger {
    Input(Literal),
    Latch {
        output: Literal,
        input: Literal,
    },
    Output(Literal),
    AndGate {
        output: Literal,
        inputs: [Literal; 2],
    },
    Symbol {
        type_spec: Symbol,
        position: usize,
        symbol: String,
    },
}

A record from an AIGER file.

Variants

Input(Literal)

A literal marked as an input.

Latch

A latch.

Fields of Latch

output: Literal

The literal which receives the latch's current state.

input: Literal

The literal which determines the latch's next state.

Output(Literal)

A literal marked as an output.

AndGate

An AND gate.

Fields of AndGate

output: Literal

The literal which receives the result of the AND operation.

inputs: [Literal; 2]

The literals which are inputs to the AND gate.

Symbol

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

fn clone(&self) -> Aiger

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Aiger

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

Formats the value using the given formatter.

impl Eq for Aiger

impl Hash for Aiger

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given [Hasher].

fn hash_slice<H>(data: &[Self], state: &mut H) where
    H: Hasher, 

Feeds a slice of this type into the given [Hasher].

impl PartialEq<Aiger> for Aiger

fn eq(&self, other: &Aiger) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Aiger) -> bool

This method tests for !=.

impl StructuralEq for Aiger

impl StructuralPartialEq for Aiger