[−][src]Trait aces::Atomic

pub trait Atomic: From<AtomID> + Into<AtomID> + Contextual + Copy + PartialEq + Eq + PartialOrd + Ord {
    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<Self>) -> Option<NodeID>`[src]

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

`impl Atomic for ForkID`[src]

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

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

`impl Atomic for JoinID`[src]

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

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

`impl Atomic for LinkID`[src]

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

`fn into_node_id_docked(this: InContext<Self>, 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<Self>) -> Option<NodeID>`[src]

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

Loading content...