Home | History | Annotate | Download | only in benchmarks

Lines Matching refs:unsatisfied

268  * Records that this constraint is unsatisfied
428  * Record the fact that this constraint is unsatisfied.
600  * a list of unsatisfied downstream constraints and attempt to
610   var unsatisfied = this.removePropagateFrom(out);
613     for (var i = 0; i < unsatisfied.size(); i++) {
614       var u = unsatisfied.at(i);
710  * unsatisfied constraints sorted in order of decreasing strength.
716   var unsatisfied = new OrderedCollection();
724         unsatisfied.add(c);
735   return unsatisfied;