ModelSolver.cs

Go to the documentation of this file.

// Copyright 2010-2025 Google LLC
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at
//
//     http://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.
 
namespace Google.OrTools.ModelBuilder
{
 
using Google.OrTools.Util;
using System;
using System.Collections;
using System.Collections.Generic;
using System.Linq;
using System.Runtime.CompilerServices;
using Google.Protobuf.Collections;

public class Solver
{
    class SolverException : Exception
    {
        public SolverException(String methodName, String msg) : base(methodName + ": " + msg)
        {
        }
    }

    public Solver(String solverName)
    {
        this.helper_ = new ModelSolverHelper(solverName);
        this.logCallback_ = null;
    }

    public SolveStatus Solve(Model model)
    {
        if (logCallback_ == null)
        {
            helper_.ClearLogCallback();
        }
        else
        {
            helper_.SetLogCallbackFromDirectorClass(logCallback_);
        }
        helper_.Solve(model.Helper);
        if (!helper_.HasResponse())
        {
            return SolveStatus.UNKNOWN_STATUS;
        }
        return helper_.Status();
    }

    public void EnableOutput(bool enable)
    {
        helper_.EnableOutput(enable);
    }

    public void SetTimeLimitInSeconds(double limit)
    {
        helper_.SetTimeLimitInSeconds(limit);
    }

    public void SetSolverSpecificParameters(String parameters)
    {
        helper_.SetSolverSpecificParameters(parameters);
    }

    public bool SolverIsSupported()
    {
        return helper_.SolverIsSupported();
    }

    public bool InterruptSolve()
    {
        return helper_.InterruptSolve();
    }

    public bool HasResponse()
    {
        return helper_.HasResponse();
    }

    public bool HasSolution()
    {
        return helper_.HasSolution();
    }

    public double ObjectiveValue
    {
        get {
            if (!helper_.HasSolution())
            {
                throw new SolverException("Solver.ObjectiveValue", "Solve() was not called or no solution was found");
            }
            return helper_.ObjectiveValue();
        }
    }

    public double BestObjectiveBound
    {
        get {
            if (!helper_.HasSolution())
            {
                throw new SolverException("Solver.BestObjectiveBound",
                                          "Solve() was not called or no solution was found");
            }
            return helper_.BestObjectiveBound();
        }
    }

    public double Value(Variable var)
    {
        if (!helper_.HasSolution())
        {
            throw new SolverException("Solver.Value())", "Solve() was not called or no solution was found");
        }
        return helper_.VariableValue(var.Index);
    }

    public double ReducedCost(Variable var)
    {
        if (!helper_.HasSolution())
        {
            throw new SolverException("Solver.ReducedCost())", "Solve() was not called or no solution was found");
        }
        return helper_.ReducedCost(var.Index);
    }

    public double DualValue(LinearConstraint ct)
    {
        if (!helper_.HasSolution())
        {
            throw new SolverException("Solver.DualValue())", "Solve() was not called or no solution was found");
        }
        return helper_.DualValue(ct.Index);
    }

    public double Activity(LinearConstraint ct)
    {
        if (!helper_.HasSolution())
        {
            throw new SolverException("Solver.Activity())", "Solve() was not called or no solution was found");
        }
        return helper_.Activity(ct.Index);
    }

    public MbLogCallback LogCallback
    {
        get {
            return logCallback_;
        }
        set {
            logCallback_ = value;
        }
    }

    public double WallTime
    {
        get {
            return helper_.WallTime();
        }
    }

    public double UserTime
    {
        get {
            return helper_.UserTime();
        }
    }
 
    private ModelSolverHelper helper_;
    private MbLogCallback logCallback_;
}
 
} // namespace Google.OrTools.ModelBuilder