Struct ConstraintBuilder

pub struct ConstraintBuilder<S: Score> {
    pub factory: Rc<RefCell<ConstraintFactory<S>>>,
    pub weights: Rc<RefCell<ConstraintWeights>>,
    pub _phantom: PhantomData<S>,
}

High-level builder for constraint satisfaction problems.

Fields

factory: Rc<RefCell<ConstraintFactory<S>>>

weights: Rc<RefCell<ConstraintWeights>>

_phantom: PhantomData<S>

Implementations

impl<S: Score + 'static> ConstraintBuilder<S>

pub fn new() -> Self

pub fn with_limits(limits: ResourceLimits) -> Self

pub fn for_each<T: GreynetFact + 'static>(&self) -> Stream<Arity1, S>

Starts a stream definition for any fact type, not tied to a specific constraint.

pub fn build(self) -> Result<Session<S>>

Consumes the builder and constructs the Session.

pub fn add_constraint( &mut self, id: &str, weight: f64, ) -> ConstraintStreamBuilder<'_, S>

Starts the definition of a new constraint with a fluent API. This is the recommended way to define constraints.

pub fn constraint( self, id: &str, weight: f64, recipe_fn: impl Fn(ConstraintId) -> ConstraintRecipe<S>, ) -> Self

Defines a constraint using a closure. This method is kept for backward compatibility but add_constraint is preferred. The closure now receives the ConstraintId to pass to penalize().

pub fn bulk_constraints( self, constraints: Vec<(&str, f64, Box<dyn Fn(ConstraintId) -> ConstraintRecipe<S>>)>, ) -> Self

Defines a batch of constraints using closures.

Trait Implementations

impl<S: Score> Default for ConstraintBuilder<S>

fn default() -> Self

Returns the “default value” for a type.