Interface UpdatableSolver

    • Method Detail

      • fixVariable

        default boolean fixVariable​(int index,
                                    double value)
        Parameters:
        index - The, solver specific, variable index
        value - The value to fix that variable to
        Returns:
        true if fixing is supported and was successful, otherwise false
      • generateCutCandidates

        default java.util.Collection<Equation> generateCutCandidates​(double fractionality,
                                                                     boolean... integer)
      • isMapped

        default boolean isMapped()
      • updateRange

        default boolean updateRange​(int index,
                                    double lower,
                                    double upper)
        A generalisation of fixVariable(int, double) where the new/updated lower and upper bounds do not need to be equal.
        Parameters:
        index - The, solver specific, variable index
        lower - New lower bound
        upper - New upper bound
        Returns:
        true if updating the range is supported and was successful, otherwise false