Struct cop::Db

pub struct Db<P, CP>(/* private fields */);

A database maps (signed) literal heads P to contrapositives CP.

This serves to quickly filter the matrix for potential connections.

Implementations

impl<P: Eq + Hash, CP> Db<P, CP>

pub fn get(&self, p: &P) -> Option<&Vec<CP>>

Obtain the contrapositives for the given predicate.

Trait Implementations

impl<P: Debug, CP: Debug> Debug for Db<P, CP>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<P: Display, CP: Display> Display for Db<P, CP>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<P: Clone + Eq + Hash, CP> FromIterator<(P, CP)> for Db<P, CP>

fn from_iter<I: IntoIterator<Item = (P, CP)>>(iter: I) -> Self

Creates a value from an iterator.