Enum AigError

pub enum AigError {
    DuplicateId(NodeId),
    IdZeroButNotFalse,
    NodeDoesNotExist(NodeId),
    NoFanin,
    InvalidState(String),
    MiterError(MiterError),
    ParserError(ParserError),
}

Error returned when an AIG operation failed.

Variants

DuplicateId(NodeId)

A different node with the given id already exists.

IdZeroButNotFalse

The id 0 is reserved for the False constant node only.

NodeDoesNotExist(NodeId)

The node with given id does not exist.

NoFanin

Invalid operation on a node which does not have such specified fanin. Latches only have FaninId::Fanin0.

InvalidState(String)

The AIG has reached an invalid state. This should never happen. For example, when tracking the nodes internally with the hashmap nodes, node nodes[id] should have id id. If this error is raised, my code is garbage.

MiterError(MiterError)

Just forwarding a MiterError.

ParserError(ParserError)

Just forwarding a ParserError.

Trait Implementations

impl Debug for AigError

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

Formats the value using the given formatter.

impl Display for AigError

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

Formats the value using the given formatter.

impl Error for AigError

fn source(&self) -> Option<&(dyn Error + 'static)>

Returns the lower-level source of this error, if any.

fn description(&self) -> &str

👎Deprecated since 1.42.0: use the Display impl or to_string()

fn cause(&self) -> Option<&dyn Error>

👎Deprecated since 1.33.0: replaced by Error::source, which can support downcasting

fn provide<'a>(&'a self, request: &mut Request<'a>)

🔬This is a nightly-only experimental API. (error_generic_member_access)

Provides type-based access to context intended for error reports.

impl From<MiterError> for AigError

fn from(source: MiterError) -> Self

Converts to this type from the input type.

impl From<ParserError> for AigError

fn from(source: ParserError) -> Self

Converts to this type from the input type.