aces

Trait Atomic

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

    // Provided method
    fn into_node_id_docked(
        this: InContext<'_, Self>,
        _dock: Face,
    ) -> Option<NodeID> { ... }
}
Expand description

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

Required Methods§

Source

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

Source

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

Provided Methods§

Source

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

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors§