Trait satoxid::SatVar[−][src]

pub trait SatVar: Debug + Hash + Eq + Clone { }

Expand description

Trait which expresses the required trait bounds for a SAT variable.

Implementors

`impl<V: Hash + Eq + Clone + Debug> SatVar for V`[src]