Package com.exigen.ie.constrainer

Examples of com.exigen.ie.constrainer.IntExp.removeValue()


        // remove _card_value from all unbounds
        for(int i=0; i<_vars.size(); i++)
        {
          IntExp vari = (IntVar)_vars.elementAt(i);
          if (!vari.bound())
            vari.removeValue(_card_value);
        }
      }

    }
View Full Code Here


      { // remove _value from all unbounds
        for(int i=0; i<_vars.size(); i++)
        {
          IntExp vari = (IntVar)_vars.elementAt(i);
          if (!vari.bound())
            vari.removeValue(_card_value);
        }
      }
    }

    public int subscriberMask()
View Full Code Here

      {
        IntExp vari = data[i];
        if (vari!=event_var)
        {
          //Debug.on();Debug.print("alldiff remove "+value+" from "+vari);Debug.off();
          vari.removeValue(value); // may fail
        }
      }
    }

     public int subscriberMask()
View Full Code Here

          for(int v=min; v <=max; v++)
          {
            if (_bits.bit(v) && vari.contains(v))//(v==vari.min() || v==vari.max()))
            {
              //Debug.on();Debug.print("alldiff minmax remove "+v+" from "+vari);Debug.off();
              vari.removeValue(v); // may fail
              if (vari.bound())
                break;
            }
          }
        }
View Full Code Here

        {
          if (i == _vars.size())
            return true;
          IntExp exp = (IntExp) _vars.get(i);
          if (!exp.bound())
            exp.removeValue(_card_value);
          return true;
        }
    };

    _indexes.iterateDomain(it);
View Full Code Here

    {
      IntExp exp = _vars.elementAt(I);
      for (int i=exp.min(); i <= exp.max(); ++i)
      {
        if(!_domains[I].contains(i))
          exp.removeValue(i);
      }
    }
  }

  void init(IntExpArray vars)
View Full Code Here

      {
        IntExp vari = (IntExp)_intvars.elementAt(i);
        if (vari != event_var)
        {
          //Debug.on();Debug.print("alldiff remove "+value+" from "+vari);Debug.off();
          vari.removeValue(value); // may fail
        }
      }
    }

     public int subscriberMask()
View Full Code Here

   * @param value
   *            int
   */
  public final void removeValue(int value) throws Exception {
    IntExp myVar = (IntExp) getImpl();
    myVar.removeValue(value);
  }

  /**
   * The default implementation is:
   *   return getMax() - getMin() + 1;
View Full Code Here

TOP
Copyright © 2018 www.massapi.com. All rights reserved.
All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.