Type Alias cop::lean::Db

pub type Db<'t, P, C, V> = Db<P, Contrapositive<'t, Lit<P, C, V>, V>>;

Clausal database.

Aliased Type

struct Db<'t, P, C, V>(/* private fields */);

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.