NNC_Polyhedron.java

Go to the documentation of this file.

/* PPL Java interface: NNC_Polyhedron definition.
   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 NNC_Polyhedron extends Polyhedron {

    protected native void finalize();





    public NNC_Polyhedron(long num_dimensions,
                        Degenerate_Element kind) {
        build_cpp_object(num_dimensions, kind);
    }

    private NNC_Polyhedron() {
    }





    public NNC_Polyhedron(Int8_Box y) {
        build_cpp_object(y);
    }

    public NNC_Polyhedron(Int16_Box y) {
        build_cpp_object(y);
    }

    public NNC_Polyhedron(Int32_Box y) {
        build_cpp_object(y);
    }

    public NNC_Polyhedron(Int64_Box y) {
        build_cpp_object(y);
    }

    public NNC_Polyhedron(Uint8_Box y) {
        build_cpp_object(y);
    }

    public NNC_Polyhedron(Uint16_Box y) {
        build_cpp_object(y);
    }

    public NNC_Polyhedron(Uint32_Box y) {
        build_cpp_object(y);
    }

    public NNC_Polyhedron(Uint64_Box y) {
        build_cpp_object(y);
    }

    public NNC_Polyhedron(Z_Box y) {
        build_cpp_object(y);
    }

    public NNC_Polyhedron(Rational_Box y) {
        build_cpp_object(y);
    }

    public NNC_Polyhedron(BD_Shape_int8_t y) {
        build_cpp_object(y);
    }

    public NNC_Polyhedron(BD_Shape_int16_t y) {
        build_cpp_object(y);
    }

    public NNC_Polyhedron(BD_Shape_int32_t y) {
        build_cpp_object(y);
    }

    public NNC_Polyhedron(BD_Shape_int64_t y) {
        build_cpp_object(y);
    }

    public NNC_Polyhedron(BD_Shape_mpz_class y) {
        build_cpp_object(y);
    }

    public NNC_Polyhedron(BD_Shape_mpq_class y) {
        build_cpp_object(y);
    }

    public NNC_Polyhedron(Octagonal_Shape_int8_t y) {
        build_cpp_object(y);
    }

    public NNC_Polyhedron(Octagonal_Shape_int16_t y) {
        build_cpp_object(y);
    }

    public NNC_Polyhedron(Octagonal_Shape_int32_t y) {
        build_cpp_object(y);
    }

    public NNC_Polyhedron(Octagonal_Shape_int64_t y) {
        build_cpp_object(y);
    }

    public NNC_Polyhedron(Octagonal_Shape_mpz_class y) {
        build_cpp_object(y);
    }

    public NNC_Polyhedron(Octagonal_Shape_mpq_class y) {
        build_cpp_object(y);
    }

    public NNC_Polyhedron(C_Polyhedron y) {
        build_cpp_object(y);
    }

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

    public NNC_Polyhedron(Grid y) {
        build_cpp_object(y);
    }

    public NNC_Polyhedron(Float_Box y) {
        build_cpp_object(y);
    }

    public NNC_Polyhedron(BD_Shape_float y) {
        build_cpp_object(y);
    }

    public NNC_Polyhedron(Octagonal_Shape_float y) {
        build_cpp_object(y);
    }

    public NNC_Polyhedron(Double_Box y) {
        build_cpp_object(y);
    }

    public NNC_Polyhedron(BD_Shape_double y) {
        build_cpp_object(y);
    }

    public NNC_Polyhedron(Octagonal_Shape_double y) {
        build_cpp_object(y);
    }

    public NNC_Polyhedron(Long_Double_Box y) {
        build_cpp_object(y);
    }

    public NNC_Polyhedron(BD_Shape_long_double y) {
        build_cpp_object(y);
    }

    public NNC_Polyhedron(Octagonal_Shape_long_double y) {
        build_cpp_object(y);
    }






    public NNC_Polyhedron(Int8_Box y, Complexity_Class complexity) {
        build_cpp_object(y, complexity);
    }

    public NNC_Polyhedron(Int16_Box y, Complexity_Class complexity) {
        build_cpp_object(y, complexity);
    }

    public NNC_Polyhedron(Int32_Box y, Complexity_Class complexity) {
        build_cpp_object(y, complexity);
    }

    public NNC_Polyhedron(Int64_Box y, Complexity_Class complexity) {
        build_cpp_object(y, complexity);
    }

    public NNC_Polyhedron(Uint8_Box y, Complexity_Class complexity) {
        build_cpp_object(y, complexity);
    }

    public NNC_Polyhedron(Uint16_Box y, Complexity_Class complexity) {
        build_cpp_object(y, complexity);
    }

    public NNC_Polyhedron(Uint32_Box y, Complexity_Class complexity) {
        build_cpp_object(y, complexity);
    }

    public NNC_Polyhedron(Uint64_Box y, Complexity_Class complexity) {
        build_cpp_object(y, complexity);
    }

    public NNC_Polyhedron(Z_Box y, Complexity_Class complexity) {
        build_cpp_object(y, complexity);
    }

    public NNC_Polyhedron(Rational_Box y, Complexity_Class complexity) {
        build_cpp_object(y, complexity);
    }

    public NNC_Polyhedron(BD_Shape_int8_t y, Complexity_Class complexity) {
        build_cpp_object(y, complexity);
    }

    public NNC_Polyhedron(BD_Shape_int16_t y, Complexity_Class complexity) {
        build_cpp_object(y, complexity);
    }

    public NNC_Polyhedron(BD_Shape_int32_t y, Complexity_Class complexity) {
        build_cpp_object(y, complexity);
    }

    public NNC_Polyhedron(BD_Shape_int64_t y, Complexity_Class complexity) {
        build_cpp_object(y, complexity);
    }

    public NNC_Polyhedron(BD_Shape_mpz_class y, Complexity_Class complexity) {
        build_cpp_object(y, complexity);
    }

    public NNC_Polyhedron(BD_Shape_mpq_class y, Complexity_Class complexity) {
        build_cpp_object(y, complexity);
    }

    public NNC_Polyhedron(Octagonal_Shape_int8_t y, Complexity_Class complexity) {
        build_cpp_object(y, complexity);
    }

    public NNC_Polyhedron(Octagonal_Shape_int16_t y, Complexity_Class complexity) {
        build_cpp_object(y, complexity);
    }

    public NNC_Polyhedron(Octagonal_Shape_int32_t y, Complexity_Class complexity) {
        build_cpp_object(y, complexity);
    }

    public NNC_Polyhedron(Octagonal_Shape_int64_t y, Complexity_Class complexity) {
        build_cpp_object(y, complexity);
    }

    public NNC_Polyhedron(Octagonal_Shape_mpz_class y, Complexity_Class complexity) {
        build_cpp_object(y, complexity);
    }

    public NNC_Polyhedron(Octagonal_Shape_mpq_class y, Complexity_Class complexity) {
        build_cpp_object(y, complexity);
    }

    public NNC_Polyhedron(C_Polyhedron y, Complexity_Class complexity) {
        build_cpp_object(y, complexity);
    }

    public NNC_Polyhedron(NNC_Polyhedron y, Complexity_Class complexity) {
        build_cpp_object(y, complexity);
    }

    public NNC_Polyhedron(Grid y, Complexity_Class complexity) {
        build_cpp_object(y, complexity);
    }

    public NNC_Polyhedron(Float_Box y, Complexity_Class complexity) {
        build_cpp_object(y, complexity);
    }

    public NNC_Polyhedron(BD_Shape_float y, Complexity_Class complexity) {
        build_cpp_object(y, complexity);
    }

    public NNC_Polyhedron(Octagonal_Shape_float y, Complexity_Class complexity) {
        build_cpp_object(y, complexity);
    }

    public NNC_Polyhedron(Double_Box y, Complexity_Class complexity) {
        build_cpp_object(y, complexity);
    }

    public NNC_Polyhedron(BD_Shape_double y, Complexity_Class complexity) {
        build_cpp_object(y, complexity);
    }

    public NNC_Polyhedron(Octagonal_Shape_double y, Complexity_Class complexity) {
        build_cpp_object(y, complexity);
    }

    public NNC_Polyhedron(Long_Double_Box y, Complexity_Class complexity) {
        build_cpp_object(y, complexity);
    }

    public NNC_Polyhedron(BD_Shape_long_double y, Complexity_Class complexity) {
        build_cpp_object(y, complexity);
    }

    public NNC_Polyhedron(Octagonal_Shape_long_double y, Complexity_Class complexity) {
        build_cpp_object(y, complexity);
    }






    public NNC_Polyhedron(Constraint_System cs) {
        build_cpp_object(cs);
    }

    public NNC_Polyhedron(Congruence_System cs) {
        build_cpp_object(cs);
    }

    public NNC_Polyhedron(Generator_System cs) {
        build_cpp_object(cs);
    }






    public native boolean upper_bound_assign_if_exact(NNC_Polyhedron y);

    public native boolean poly_hull_assign_if_exact(NNC_Polyhedron y);






    public native void positive_time_elapse_assign(NNC_Polyhedron p);






  public static native
    Pair <NNC_Polyhedron, Pointset_Powerset_NNC_Polyhedron >
      linear_partition(NNC_Polyhedron p, NNC_Polyhedron q);





    public native void free();





    private native void build_cpp_object(Constraint_System cs);

    private native void build_cpp_object(Congruence_System cs);

    private native void build_cpp_object(Generator_System cs);





    private native void build_cpp_object(long num_dimensions,
                                         Degenerate_Element kind);




    private native void build_cpp_object(Int8_Box y);

    private native void build_cpp_object(Int8_Box y,
                                         Complexity_Class complexity);

    private native void build_cpp_object(Int16_Box y);

    private native void build_cpp_object(Int16_Box y,
                                         Complexity_Class complexity);

    private native void build_cpp_object(Int32_Box y);

    private native void build_cpp_object(Int32_Box y,
                                         Complexity_Class complexity);

    private native void build_cpp_object(Int64_Box y);

    private native void build_cpp_object(Int64_Box y,
                                         Complexity_Class complexity);

    private native void build_cpp_object(Uint8_Box y);

    private native void build_cpp_object(Uint8_Box y,
                                         Complexity_Class complexity);

    private native void build_cpp_object(Uint16_Box y);

    private native void build_cpp_object(Uint16_Box y,
                                         Complexity_Class complexity);

    private native void build_cpp_object(Uint32_Box y);

    private native void build_cpp_object(Uint32_Box y,
                                         Complexity_Class complexity);

    private native void build_cpp_object(Uint64_Box y);

    private native void build_cpp_object(Uint64_Box y,
                                         Complexity_Class complexity);

    private native void build_cpp_object(Z_Box y);

    private native void build_cpp_object(Z_Box y,
                                         Complexity_Class complexity);

    private native void build_cpp_object(Rational_Box y);

    private native void build_cpp_object(Rational_Box y,
                                         Complexity_Class complexity);

    private native void build_cpp_object(BD_Shape_int8_t y);

    private native void build_cpp_object(BD_Shape_int8_t y,
                                         Complexity_Class complexity);

    private native void build_cpp_object(BD_Shape_int16_t y);

    private native void build_cpp_object(BD_Shape_int16_t y,
                                         Complexity_Class complexity);

    private native void build_cpp_object(BD_Shape_int32_t y);

    private native void build_cpp_object(BD_Shape_int32_t y,
                                         Complexity_Class complexity);

    private native void build_cpp_object(BD_Shape_int64_t y);

    private native void build_cpp_object(BD_Shape_int64_t y,
                                         Complexity_Class complexity);

    private native void build_cpp_object(BD_Shape_mpz_class y);

    private native void build_cpp_object(BD_Shape_mpz_class y,
                                         Complexity_Class complexity);

    private native void build_cpp_object(BD_Shape_mpq_class y);

    private native void build_cpp_object(BD_Shape_mpq_class y,
                                         Complexity_Class complexity);

    private native void build_cpp_object(Octagonal_Shape_int8_t y);

    private native void build_cpp_object(Octagonal_Shape_int8_t y,
                                         Complexity_Class complexity);

    private native void build_cpp_object(Octagonal_Shape_int16_t y);

    private native void build_cpp_object(Octagonal_Shape_int16_t y,
                                         Complexity_Class complexity);

    private native void build_cpp_object(Octagonal_Shape_int32_t y);

    private native void build_cpp_object(Octagonal_Shape_int32_t y,
                                         Complexity_Class complexity);

    private native void build_cpp_object(Octagonal_Shape_int64_t y);

    private native void build_cpp_object(Octagonal_Shape_int64_t y,
                                         Complexity_Class complexity);

    private native void build_cpp_object(Octagonal_Shape_mpz_class y);

    private native void build_cpp_object(Octagonal_Shape_mpz_class y,
                                         Complexity_Class complexity);

    private native void build_cpp_object(Octagonal_Shape_mpq_class y);

    private native void build_cpp_object(Octagonal_Shape_mpq_class y,
                                         Complexity_Class complexity);

    private native void build_cpp_object(C_Polyhedron y);

    private native void build_cpp_object(C_Polyhedron y,
                                         Complexity_Class complexity);

    private native void build_cpp_object(NNC_Polyhedron y);

    private native void build_cpp_object(NNC_Polyhedron y,
                                         Complexity_Class complexity);

    private native void build_cpp_object(Grid y);

    private native void build_cpp_object(Grid y,
                                         Complexity_Class complexity);

    private native void build_cpp_object(Float_Box y);

    private native void build_cpp_object(Float_Box y,
                                         Complexity_Class complexity);

    private native void build_cpp_object(BD_Shape_float y);

    private native void build_cpp_object(BD_Shape_float y,
                                         Complexity_Class complexity);

    private native void build_cpp_object(Octagonal_Shape_float y);

    private native void build_cpp_object(Octagonal_Shape_float y,
                                         Complexity_Class complexity);

    private native void build_cpp_object(Double_Box y);

    private native void build_cpp_object(Double_Box y,
                                         Complexity_Class complexity);

    private native void build_cpp_object(BD_Shape_double y);

    private native void build_cpp_object(BD_Shape_double y,
                                         Complexity_Class complexity);

    private native void build_cpp_object(Octagonal_Shape_double y);

    private native void build_cpp_object(Octagonal_Shape_double y,
                                         Complexity_Class complexity);

    private native void build_cpp_object(Long_Double_Box y);

    private native void build_cpp_object(Long_Double_Box y,
                                         Complexity_Class complexity);

    private native void build_cpp_object(BD_Shape_long_double y);

    private native void build_cpp_object(BD_Shape_long_double y,
                                         Complexity_Class complexity);

    private native void build_cpp_object(Octagonal_Shape_long_double y);

    private native void build_cpp_object(Octagonal_Shape_long_double y,
                                         Complexity_Class complexity);






}