true, and the variables are set to the least solution. If the set of inequalities is not satisfiable, this method returns false. If the set of inequalities is not definite, this method cannot always determine satisfiability. In this case, if the set of inequalities is satisfiable, this method may or may not return true. If this method returns true, the variables are set to the least solution. If the set of inequalities is not satisfiable, this method returns false.
In any case, if this method returns false, the variables are set to the least solution for the subset of inequalities whose greater terms are a single variable. See the paper referred to in the class document for details.
@return True if a solution for the inequalities is found,false otherwise.
@exception IllegalActionException If testing any one of theinequalities throws an exception.
| |