Struct OperatorTerminal 

pub struct OperatorTerminal<S, O, W, Sc> { /* private fields */ }

Scoring terminal over a concrete operator tree, independent of row arity. Weight closures borrow the complete row; retention stores signed scores, never entities or solution references.

Implementations

impl<S, O, W, Sc> OperatorTerminal<S, O, W, Sc>

pub fn new( constraint_ref: ConstraintRef, impact: ImpactType, operator: O, weight: W, hard: bool, ) -> Self

Trait Implementations

impl<S, O, W, Sc> IncrementalConstraint<S, Sc> for OperatorTerminal<S, O, W, Sc>

where S: Send + Sync + 'static, O: Operator<S> + Send + Sync, W: for<'a> Fn(&S, &O::View<'a>) -> Sc + Send + Sync, Sc: Score, for<'a> O::View<'a>: ExplainRow,

fn evaluate(&self, solution: &S) -> Sc

fn match_count(&self, solution: &S) -> usize

fn initialize(&mut self, solution: &S) -> Sc

fn on_retract(&mut self, solution: &S, index: usize, descriptor: usize) -> Sc

fn on_insert(&mut self, solution: &S, index: usize, descriptor: usize) -> Sc

fn reset(&mut self)

fn name(&self) -> &str

fn constraint_ref(&self) -> &ConstraintRef

fn is_hard(&self) -> bool

fn get_matches<'a>( &'a self, solution: &S, ) -> Vec<DetailedConstraintMatch<'a, Sc>>

fn weight(&self) -> Sc