[−][src]Trait ascesis::Atomic

pub trait Atomic: Contextual + PartialEq<Self> + Eq + Ord + PartialOrd<Self> + Into<NonZeroUsize> + From<NonZeroUsize> + Copy {
    fn into_node_id(this: InContext<Self>) -> Option<NodeID>;
    fn into_sat_literal(self, negated: bool) -> Literal;

    fn into_node_id_docked(this: InContext<Self>, _dock: Face) -> Option<NodeID> { ... }
}

A trait of an identifier convertible into NodeID and into sat::Literal.

Required methods

`fn into_node_id(this: InContext<Self>) -> Option<NodeID>`

`fn into_sat_literal(self, negated: bool) -> Literal`

Loading content...

Provided methods

`fn into_node_id_docked(this: InContext<Self>, _dock: Face) -> Option<NodeID>`

Loading content...

Implementors

`impl Atomic for NodeID`[src]

`fn into_node_id(this: InContext<NodeID>) -> Option<NodeID>`[src]

`fn into_sat_literal(self, negated: bool) -> Literal`[src]

`impl Atomic for ForkID`[src]

`fn into_node_id(this: InContext<ForkID>) -> Option<NodeID>`[src]

`fn into_sat_literal(self, negated: bool) -> Literal`[src]

`impl Atomic for JoinID`[src]

`fn into_node_id(this: InContext<JoinID>) -> Option<NodeID>`[src]

`fn into_sat_literal(self, negated: bool) -> Literal`[src]

`impl Atomic for LinkID`[src]

`fn into_node_id(_this: InContext<LinkID>) -> Option<NodeID>`[src]

`fn into_node_id_docked(this: InContext<LinkID>, dock: Face) -> Option<NodeID>`[src]

`fn into_sat_literal(self, negated: bool) -> Literal`[src]

`impl Atomic for PortID`[src]

`fn into_node_id(this: InContext<PortID>) -> Option<NodeID>`[src]

`fn into_sat_literal(self, negated: bool) -> Literal`[src]

Loading content...