Struct satoxid::VarMap [−][src]
pub struct VarMap<V> { /* fields omitted */ }
Expand description
Mapper from user defined variables and integer sat variables.
VarMap
is serializable if the serde
feature in enabled.
Implementations
impl<V: SatVar> VarMap<V>
[src]
impl<V: SatVar> VarMap<V>
[src]pub fn add_var(&mut self, lit: impl Into<VarType<V>>) -> i32
[src]
pub fn add_var(&mut self, lit: impl Into<VarType<V>>) -> i32
[src]Translates a value of type V
to a integer SAT variable used by the
backend.
If var
wasn’t already used it generates a new SAT variable.
Depending on whether var
is Pos
or Neg
the returned value is
positive or negative.
Trait Implementations
impl<V: SatVar> Eq for VarMap<V>
[src]
Auto Trait Implementations
impl<V> RefUnwindSafe for VarMap<V> where
V: RefUnwindSafe,
V: RefUnwindSafe,
impl<V> Send for VarMap<V> where
V: Send,
V: Send,
impl<V> Sync for VarMap<V> where
V: Sync,
V: Sync,
impl<V> Unpin for VarMap<V> where
V: Unpin,
V: Unpin,
impl<V> UnwindSafe for VarMap<V> where
V: UnwindSafe,
V: UnwindSafe,