MIP_Problem.java

Go to the documentation of this file.

/* MIP_Problem Java class declaration and implementation.
   Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it>
   Copyright (C) 2010-2016 BUGSENG srl (http://bugseng.com)

This file is part of the Parma Polyhedra Library (PPL).

The PPL is free software; you can redistribute it and/or modify it
under the terms of the GNU General Public License as published by the
Free Software Foundation; either version 3 of the License, or (at your
option) any later version.

The PPL is distributed in the hope that it will be useful, but WITHOUT
ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
for more details.

You should have received a copy of the GNU General Public License
along with this program; if not, write to the Free Software Foundation,
Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02111-1307, USA.

For the most up-to-date information see the Parma Polyhedra Library
site: http://bugseng.com/products/ppl/ . */


package parma_polyhedra_library;


public class MIP_Problem extends PPL_Object {



    public MIP_Problem(long dim) {
        build_cpp_object(dim);
    }

    public MIP_Problem(long dim, Constraint_System cs, Linear_Expression obj,
                       Optimization_Mode mode) {
        build_cpp_object(dim, cs, obj, mode);
    }

    public MIP_Problem(MIP_Problem y) {
        build_cpp_object(y);
    }

    public native void free();

    protected native void finalize();
 /* Constructors and Destructor */


    public native long max_space_dimension();

    public native long space_dimension();

    public native Variables_Set integer_space_dimensions();

    public native Constraint_System constraints();

    public native Linear_Expression objective_function();

    public native Optimization_Mode optimization_mode();

    public native String ascii_dump();

    public native String toString();

    public native long total_memory_in_bytes();

    public native boolean OK();
 /* Functions that Do Not Modify the MIP_Problem */



    public native void clear();

    public native void add_space_dimensions_and_embed(long m);

    public native void add_to_integer_space_dimensions(Variables_Set i_vars);

    public native void add_constraint(Constraint c);

    public native void add_constraints(Constraint_System cs);


    public native void set_objective_function(Linear_Expression obj);

    public native void set_optimization_mode(Optimization_Mode mode);
 /* Functions that May Modify the MIP_Problem */



    public native boolean is_satisfiable();


    public native MIP_Problem_Status solve();

    public native void evaluate_objective_function(Generator evaluating_point,
                                                   Coefficient num,
                                                   Coefficient den);


    public native Generator feasible_point();


    public native Generator optimizing_point();

    public native void optimal_value(Coefficient num, Coefficient den);
 /* Computing the Solution of the MIP_Problem */


    public native Control_Parameter_Value
      get_control_parameter(Control_Parameter_Name name);

    public native void set_control_parameter(Control_Parameter_Value value);
 /* Querying/Setting Control Parameters */

    private native void build_cpp_object(long dim);

    private native void build_cpp_object(long dim,
                                         Constraint_System cs,
                                         Linear_Expression obj,
                                         Optimization_Mode mode);

    private native void build_cpp_object(MIP_Problem y);
}