GetValue

selen::core::solution

Trait GetValue 

Source 
pub trait GetValue<T> {
    // Required method
    fn get_value(&self, var: VarId) -> T;
}
Expand description

Trait for type-safe value extraction (panicking version)

Required Methods§

Source

fn get_value(&self, var: VarId) -> T

Implementors§