Struct satoxid::Model [−][src]
pub struct Model<V> { /* fields omitted */ }
Expand description
The of successfully solving an encoded problem.
Implementations
impl<V: SatVar> Model<V>
[src]
impl<V: SatVar> Model<V>
[src]pub fn vars(&self) -> impl Iterator<Item = Lit<V>> + Clone + '_
[src]
pub fn vars(&self) -> impl Iterator<Item = Lit<V>> + Clone + '_
[src]Returns an interator over assigned literals of user defined SAT variables.
pub fn all_vars(&self) -> impl Iterator<Item = VarType<V>> + Clone + '_
[src]
pub fn all_vars(&self) -> impl Iterator<Item = VarType<V>> + Clone + '_
[src]Returns an interator over all defined variables. This includes unnamed variables used by various constraints.
Trait Implementations
Auto Trait Implementations
impl<V> RefUnwindSafe for Model<V> where
V: RefUnwindSafe,
V: RefUnwindSafe,
impl<V> Send for Model<V> where
V: Send,
V: Send,
impl<V> Sync for Model<V> where
V: Sync,
V: Sync,
impl<V> Unpin for Model<V> where
V: Unpin,
V: Unpin,
impl<V> UnwindSafe for Model<V> where
V: UnwindSafe,
V: UnwindSafe,
Blanket Implementations
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]pub fn borrow_mut(&mut self) -> &mut T
[src]
pub fn borrow_mut(&mut self) -> &mut T
[src]Mutably borrows from an owned value. Read more
impl<T> ToOwned for T where
T: Clone,
[src]
impl<T> ToOwned for T where
T: Clone,
[src]type Owned = T
type Owned = T
The resulting type after obtaining ownership.
pub fn to_owned(&self) -> T
[src]
pub fn to_owned(&self) -> T
[src]Creates owned data from borrowed data, usually by cloning. Read more
pub fn clone_into(&self, target: &mut T)
[src]
pub fn clone_into(&self, target: &mut T)
[src]🔬 This is a nightly-only experimental API. (toowned_clone_into
)
recently added
Uses borrowed data to replace owned data, usually by cloning. Read more