Struct splr::state::State [−][src]
Data storage for Solver
.
Fields
config: Config
solver configuration
stats: [usize; 3]
collection of statistics data
target: CNFDescription
problem description
reflection_interval: usize
strategy adjustment interval in conflict
b_lvl: Ema
EMA of backjump levels
c_lvl: Ema
EMA of conflicting levels
conflicts: Vec<Lit>
hold conflicting literals for UNSAT problems
chrono_bt_threshold: DecisionLevel
choroBT threshold
last_asg: usize
hold the previous number of non-conflicting assignment
new_learnt: Vec<Lit>
working place to build learnt clauses
derive20: Vec<ClauseId>
working place to store given clauses’ ids which is used to derive a good learnt
progress_cnt: usize
progress
invocation counter
record: ProgressRecord
keep the previous statistics values
start: Instant
start clock for timeout handling
time_limit: f64
upper limit for timeout handling
Trait Implementations
impl Clone for State
[src]
impl Debug for State
[src]
impl Default for State
[src]
impl Display for State
[src]
impl Index<LogF64Id> for State
[src]
type Output = f64
The returned type after indexing.
fn index(&self, i: LogF64Id) -> &Self::Output
[src]
impl Index<LogUsizeId> for State
[src]
type Output = usize
The returned type after indexing.
fn index(&self, i: LogUsizeId) -> &Self::Output
[src]
impl Index<Stat> for State
[src]
impl IndexMut<LogF64Id> for State
[src]
impl IndexMut<LogUsizeId> for State
[src]
fn index_mut(&mut self, i: LogUsizeId) -> &mut Self::Output
[src]
impl IndexMut<Stat> for State
[src]
impl Instantiate for State
[src]
fn instantiate(config: &Config, cnf: &CNFDescription) -> State
[src]
fn handle(&mut self, e: SolverEvent)
[src]
impl StateIF for State
[src]
fn is_timeout(&self) -> bool
[src]
fn elapsed(&self) -> Option<f64>
[src]
fn progress_header(&mut self)
[src]
fn flush<S: AsRef<str>>(&self, mes: S)
[src]
fn log<S: AsRef<str>>(&mut self, tick: usize, mes: S)
[src]
fn progress<A, C, E, R>(&mut self, asg: &A, cdb: &C, elim: &E, rst: &R) where
A: PropertyDereference<Tusize, usize> + PropertyReference<TEma, Ema>,
C: PropertyDereference<Tusize, usize> + PropertyDereference<Tf64, f64>,
E: PropertyDereference<Tusize, usize>,
R: PropertyDereference<Tusize, usize> + PropertyReference<TEma2, Ema2>,
[src]
A: PropertyDereference<Tusize, usize> + PropertyReference<TEma, Ema>,
C: PropertyDereference<Tusize, usize> + PropertyDereference<Tf64, f64>,
E: PropertyDereference<Tusize, usize>,
R: PropertyDereference<Tusize, usize> + PropertyReference<TEma2, Ema2>,
mes
should be shorter than or equal to 9, or 8 + a delimiter.
Auto Trait Implementations
impl RefUnwindSafe for State
impl Send for State
impl Sync for State
impl Unpin for State
impl UnwindSafe for State
Blanket Implementations
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,
impl<T> Borrow<T> for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
T: ?Sized,
pub fn borrow_mut(&mut self) -> &mut T
[src]
impl<T> From<T> for T
[src]
impl<T, U> Into<U> for T where
U: From<T>,
[src]
U: From<T>,
impl<T> ToOwned for T where
T: Clone,
[src]
T: Clone,
type Owned = T
The resulting type after obtaining ownership.
pub fn to_owned(&self) -> T
[src]
pub fn clone_into(&self, target: &mut T)
[src]
impl<T> ToString for T where
T: Display + ?Sized,
[src]
T: Display + ?Sized,
impl<T, U> TryFrom<U> for T where
U: Into<T>,
[src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
pub fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>
[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>,
[src]
U: TryFrom<T>,