Trait StorageKey

pub trait StorageKey {
    // Required methods
    fn index(&self) -> usize;
    fn create_from_index(index: usize) -> Self;
}

A simple trait which requires that the structures implementing this trait can generate an index.

Required Methods

fn index(&self) -> usize

fn create_from_index(index: usize) -> Self

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.

Implementations on Foreign Types

impl StorageKey for usize

fn index(&self) -> usize

fn create_from_index(index: usize) -> Self

Implementors

impl StorageKey for DomainId

impl StorageKey for Literal

impl StorageKey for PropositionalVariable