Enum PropagatorType 

pub enum PropagatorType {
    WatchedLiterals,
    UnitSearch,
    UnitPropagationWithPureLiterals,
}

Enum representing the type of propagator to use in the SAT solver.

Variants

WatchedLiterals

Watched literals propagator, which uses the watched literals scheme for efficient unit propagation.

UnitSearch

Unit search propagator, which iterates through clauses to find unit clauses.

UnitPropagationWithPureLiterals

Unit propagation with pure literals, which combines unit propagation with the heuristic of assigning pure literals.

Implementations

impl PropagatorType

pub fn to_impl<L: Literal, S: LiteralStorage<L>, A: Assignment>( self, cnf: &Cnf<L, S>, ) -> PropagatorImpls<L, S, A>

Converts the PropagatorType to a specific propagator implementation.

Trait Implementations

impl Clone for PropagatorType

fn clone(&self) -> PropagatorType

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PropagatorType

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

Formats the value using the given formatter.

impl Default for PropagatorType

fn default() -> PropagatorType

Returns the “default value” for a type.

impl Display for PropagatorType

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

Formats the value using the given formatter.

impl Hash for PropagatorType

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for PropagatorType

fn eq(&self, other: &PropagatorType) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl ValueEnum for PropagatorType

fn value_variants<'a>() -> &'a [Self]

All possible argument values, in display order.

fn to_possible_value<'a>(&self) -> Option<PossibleValue>

The canonical argument value.

fn from_str(input: &str, ignore_case: bool) -> Result<Self, String>

Parse an argument into Self.

impl Copy for PropagatorType

impl Eq for PropagatorType

impl StructuralPartialEq for PropagatorType