Struct BasicSpec 

pub struct BasicSpec<S> {
    pub get_variable: fn(&S, usize) -> Option<usize>,
    pub set_variable: fn(&mut S, usize, Option<usize>),
    pub value_count: fn(&S) -> usize,
    pub entity_count_fn: fn(&S) -> usize,
    pub variable_field: &'static str,
    pub descriptor_index: usize,
}

Problem specification for basic variable problems.

Passed to run_solver to provide problem-specific construction and local search phases for solutions using #[basic_variable_config].

Fields

get_variable: fn(&S, usize) -> Option<usize>

set_variable: fn(&mut S, usize, Option<usize>)

value_count: fn(&S) -> usize

entity_count_fn: fn(&S) -> usize

variable_field: &'static str

descriptor_index: usize

Trait Implementations

impl<S, C> ProblemSpec<S, C> for BasicSpec<S>

where S: PlanningSolution, S::Score: Score + ParseableScore, C: ConstraintSet<S, S::Score>,

fn is_trivial(&self, solution: &S) -> bool

Returns true if the problem is trivially empty and solving can be skipped.

fn default_time_limit_secs(&self) -> u64

Default solver time limit in seconds (used when config has no termination).

fn log_scale(&self, solution: &S)

Logs the problem scale (entity count, value count, etc.).

fn build_and_solve( self, director: ScoreDirector<S, C>, config: &SolverConfig, time_limit: Duration, termination: AnyTermination<S, ScoreDirector<S, C>>, terminate: Option<&AtomicBool>, callback: impl Fn(&S) + Send + Sync, ) -> SolveResult<S>

Builds the construction + local search phases and runs the solver.