Trait aces::Atomic

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

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...

Implementors

impl Atomic for NodeID

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

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

impl Atomic for LinkID

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

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

impl Atomic for PortID

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

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

Loading content...