Struct ConstraintPoster 

pub struct ConstraintPoster<'solver, ConstraintImpl> { /* private fields */ }

A structure which is responsible for adding the created Constraints to the Solver. For an example on how to use this, see crate::constraints.

Implementations

impl<ConstraintImpl: Constraint> ConstraintPoster<'_, ConstraintImpl>

pub fn post(self)

Add the Constraint to the Solver.

pub fn implied_by(self, reification_literal: Literal)

Add the half-reified version of the Constraint to the Solver; i.e. post the constraint r -> constraint where r is a reification literal.

impl<ConstraintImpl: NegatableConstraint> ConstraintPoster<'_, ConstraintImpl>

pub fn reify(self, reification_literal: Literal)

Add the reified version of the Constraint to the Solver; i.e. post the constraint r <-> constraint where r is a reification literal.

Trait Implementations

impl<'solver, ConstraintImpl: Debug> Debug for ConstraintPoster<'solver, ConstraintImpl>

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

Formats the value using the given formatter.

impl<ConstraintImpl> Drop for ConstraintPoster<'_, ConstraintImpl>

fn drop(&mut self)

Executes the destructor for this type.

fn pin_drop(self: Pin<&mut Self>)

🔬This is a nightly-only experimental API. (pin_ergonomics)

Execute the destructor for this type, but different to Drop::drop, it requires self to be pinned.