Package org.btrplace.scheduler.choco.extensions

Class FastImpliesEq

java.lang.Object
org.chocosolver.solver.constraints.Constraint
org.btrplace.scheduler.choco.extensions.FastImpliesEq
public class FastImpliesEq
extends org.chocosolver.solver.constraints.Constraint
A fast implementation for BVAR => VAR = CSTE
Since:
29/06/11
Author:
Charles Prud'homme

  • Nested Class Summary

    Nested classes/interfaces inherited from class org.chocosolver.solver.constraints.Constraint

    org.chocosolver.solver.constraints.Constraint.Status

  • Field Summary

    Fields inherited from class org.chocosolver.solver.constraints.Constraint

    boolReif, propagators

  • Constructor Summary

    Constructors 
    Constructor Description
    FastImpliesEq​(org.chocosolver.solver.variables.BoolVar b, org.chocosolver.solver.variables.IntVar var, int c)
    New instance.

  • Method Summary

    Methods inherited from class org.chocosolver.solver.constraints.Constraint

    checkNewStatus, computeMaxPriority, declareAs, getCidxInModel, getName, getOpposite, getPropagator, getPropagators, getStatus, ignore, isEnabled, isReified, isSatisfied, makeOpposite, merge, post, reify, reifyWith, setEnabled, setName, setOpposite, toString

    Methods inherited from class java.lang.Object

    clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

  • Constructor Details

    • FastImpliesEq

      public FastImpliesEq​(org.chocosolver.solver.variables.BoolVar b, org.chocosolver.solver.variables.IntVar var, int c)
      New instance.
      Parameters:
      b - the boolean variable
      var - the variable
      c - the constant to use to set the variable if the boolean variable is set to true