Struct Decisions 

pub struct Decisions {
    pub queue: Vec<Decision>,
    /* private fields */
}

Fields

queue: Vec<Decision>

Implementations

impl Decisions

pub fn new(pool_size: usize) -> Decisions

pub fn decide( &mut self, literal: i64, level: i64, reason: usize, ) -> Result<(), SolverBug>

pub fn satisfy(&self, literal: i64) -> bool

pub fn conflict(&self, literal: i64) -> bool

pub fn decided(&self, literal_or_id: i64) -> bool

pub fn undecided(&self, literal_or_id: i64) -> bool

pub fn decided_install(&self, literal_or_id: i64) -> bool

pub fn decision_level(&self, literal_or_id: i64) -> i64

pub fn decision_rule(&self, literal_or_id: i64) -> Result<usize, SolverBug>

decisionRule: the rule of the first decision on this package.

pub fn at_offset(&self, offset: usize) -> Decision

pub fn valid_offset(&self, offset: usize) -> bool

pub fn last_reason(&self) -> usize

pub fn last_literal(&self) -> i64

pub fn reset_to_offset(&mut self, offset: i64)

resetToOffset($offset): keeps offset + 1 decisions.

pub fn revert_last(&mut self)

pub fn len(&self) -> usize

pub fn is_empty(&self) -> bool

Trait Implementations

impl Clone for Decisions

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Decisions

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.