[][src]Enum aces::AcesError

pub enum AcesError {
    ContextMismatch,
    PortMismatch,
    SplitMismatch,
    NodeMissingForID,
    AtomMissingForID,
    PortMissingForID,
    LinkMissingForID(LinkID),
    SplitMissingForID,
    ForkMissingForID,
    JoinMissingForID,
    BottomAtomAccess,
    AtomicsNotOrdered,
    NodeMissingForPort(Face),
    NodeMissingForLink(Face),
    NodeMissingForFork(Face),
    NodeMissingForJoin(Face),
    FiringNodeMissing(Face),
    FiringNodeDuplicated(Face),
    IncoherentStructure(String),
    EmptyClauseRejectedByFormula(String),
    EmptyClauseRejectedBySolver(String),
    EmptyCausesOfInternalNode(String),
    EmptyEffectsOfInternalNode(String),
    UnlistedAtomicInMonomial,
    IncoherencyLeak,
    NoModelToInhibit,
}

Variants

ContextMismatch
PortMismatch
SplitMismatch
NodeMissingForID
AtomMissingForID
PortMissingForID
LinkMissingForID(LinkID)
SplitMissingForID
ForkMissingForID
JoinMissingForID
BottomAtomAccess
AtomicsNotOrdered
NodeMissingForPort(Face)
NodeMissingForFork(Face)
NodeMissingForJoin(Face)
FiringNodeMissing(Face)
FiringNodeDuplicated(Face)
IncoherentStructure(String)
EmptyClauseRejectedByFormula(String)
EmptyClauseRejectedBySolver(String)
EmptyCausesOfInternalNode(String)
EmptyEffectsOfInternalNode(String)
UnlistedAtomicInMonomial
IncoherencyLeak
NoModelToInhibit

Trait Implementations

impl Clone for AcesError[src]

impl Debug for AcesError[src]

impl Display for AcesError[src]

impl Error for AcesError[src]

Auto Trait Implementations

Blanket Implementations

impl<T> ToOwned for T where
    T: Clone
[src]

type Owned = T

The resulting type after obtaining ownership.

impl<T, U> Into<U> for T where
    U: From<T>, 
[src]

impl<T> From<T> for T[src]

impl<T> ToString for T where
    T: Display + ?Sized
[src]

impl<T, U> TryFrom<U> for T where
    U: Into<T>, 
[src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, 
[src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

impl<T> BorrowMut<T> for T where
    T: ?Sized
[src]

impl<T> Borrow<T> for T where
    T: ?Sized
[src]

impl<T> Any for T where
    T: 'static + ?Sized
[src]

impl<E> Fail for E where
    E: 'static + Error + Send + Sync

impl<Reference, Outer, OuterFieldType, Inner> HasPart<Nested<Outer, Inner>> for Reference where
    Inner: Part,
    Outer: Part<PartType = Field<OuterFieldType>>,
    OuterFieldType: HasPart<Inner, RawTarget = OuterFieldType> + PartialRefTarget + ?Sized,
    Reference: HasPart<Outer> + ?Sized

impl<T> AsFail for T where
    T: Fail,