[−][src]Trait ascesis::Atomic
A trait of an identifier convertible into NodeID
and into
sat::Literal
.
A trait of an identifier convertible into NodeID
and into
sat::Literal
.
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>
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 NodeID
[src]fn into_node_id(this: InContext<NodeID>) -> 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]