Enum flatzinc::solve_items::Goal
source · pub enum Goal {
Satisfy,
OptimizeBool(OptimizationType, BoolExpr),
OptimizeInt(OptimizationType, IntExpr),
OptimizeFloat(OptimizationType, FloatExpr),
OptimizeSet(OptimizationType, SetExpr),
}
Variants§
Satisfy
OptimizeBool(OptimizationType, BoolExpr)
OptimizeInt(OptimizationType, IntExpr)
OptimizeFloat(OptimizationType, FloatExpr)
OptimizeSet(OptimizationType, SetExpr)
Trait Implementations§
source§impl PartialEq for Goal
impl PartialEq for Goal
impl StructuralPartialEq for Goal
Auto Trait Implementations§
impl Freeze for Goal
impl RefUnwindSafe for Goal
impl Send for Goal
impl Sync for Goal
impl Unpin for Goal
impl UnwindSafe for Goal
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more