List of bound() Examples

Examples of bound()

com.exigen.ie.constrainer.IntExp.bound()
Returns true if this expression is bound. An expression is considered bound if contains only one value in its domain. @return true if this expression is bound: it's domain has only one value.
com.helger.jcodemodel.JTypeVar.bound()
com.helger.jcodemodel.JTypeWildcard.bound()
com.niacin.annotation.Input.bound()
kodkod.instance.Bounds.bound()
Sets the lower and upper bounds for the given relation. @requires lower.tuples in upper.tuples && lower.arity = upper.arity = r.arity &&lower.universe = upper.universe = this.universe @effects this.relations' = this.relations + r &&this.lowerBound' = this.lowerBound ++ r->lower && this.upperBound' = this.upperBound ++ r->upper @throws NullPointerException - r = null || lower = null || upper = null @throws IllegalArgumentException - lower.arity != r.arity || upper.arity != r.arity @throws IllegalArgumentException - lower.universe != this.universe || upper.universe != this.universe @throws IllegalArgumentException - lower.tuples !in upper.tuples
objot.container.Container.bound()
@return whether class is bound in this container
org.apache.beehive.controls.api.packaging.PropertyInfo.bound()
org.omg.CORBA.StringDef.bound()
org.omg.CORBA.WstringDef.bound()

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

    {
      IntExp exp = (IntExp)vars.elementAt(i);
      if (exp.contains(card_value))
      {
        possible_instances++;
        if (exp.bound())
          required_instances++;
      }
    }
    try
    {

View Full Code Here

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

      {
        // 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

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

      if (_possible_required.min() == cardinality)
      { // 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);
        }
      }
    }

View Full Code Here

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

    // initial propagation
    int size = _intvars.size();
    for(int i=0; i<size; i++)
    {
      IntExp vari = (IntExp)_intvars.elementAt(i);
      if (vari.bound())
      {
        int value = vari.value();
        boolean bit = _bits.bit(value);
        // check for failure
        if (bit)

View Full Code Here

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

      int max = _bits.max();
      //Debug.on();Debug.print("alldiff minmax "+interest+":  "+_bits);Debug.off();
      for(int i=0; i<_intvars.size(); i++)
      {
        IntExp vari = (IntExp)_intvars.elementAt(i);
        if (!vari.bound())
        {
          for(int v=min; v <=max; v++)
          {
            if (_bits.bit(v) && vari.contains(v))//(v==vari.min() || v==vari.max()))
            {

View Full Code Here

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

          {
            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

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

        public boolean doSomethingOrStop(int i) throws Failure
        {
          if (i == _vars.size())
            return true;
          IntExp exp = (IntExp) _vars.get(i);
          if (!exp.bound())
            exp.removeValue(_card_value);
          return true;
        }
    };

View Full Code Here

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

    for(int i=0; i<size; i++)
    {
      IntExp exp = (IntExp)vars.get(i);
      if (exp.contains(card_value))
      {
        if (exp.bound())
          required_instances++;
      }
      else _indexes.removeValue(i);


    }

View Full Code Here

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

    int size = _intvars.size();
    boolean undo = false;
    for(int i=0; i<size; i++)
    {
      IntExp vari = (IntExp)_intvars.elementAt(i);
      if (vari.bound())
      {
        int value = vari.value();
        boolean bit = _bit_var.contains(value);
        // check for failure
        if (!bit)

View Full Code Here

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

  /**
   * @return true if the domain of the variable contains only one value
   */
  public final boolean isBound() {
    IntExp myVar = (IntExp) getImpl();
    return myVar.bound();
  }
  
  /**
   * Returns true if the domain of this variable contains the value.
   * @return true if the value is in the domain of this variable

View Full Code Here

0 1 2

TOP

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.