Class mainJNI


  • public class mainJNI
    extends java.lang.Object
    • Constructor Detail

      • mainJNI

        public mainJNI()
    • Method Detail

      • new_Domain__SWIG_0

        public static final long new_Domain__SWIG_0()
      • new_Domain__SWIG_1

        public static final long new_Domain__SWIG_1​(long jarg1)
      • new_Domain__SWIG_2

        public static final long new_Domain__SWIG_2​(long jarg1,
                                                    long jarg2)
      • Domain_allValues

        public static final long Domain_allValues()
      • Domain_fromValues

        public static final long Domain_fromValues​(long[] jarg1)
      • Domain_fromIntervals

        public static final long Domain_fromIntervals​(long[][] jarg1)
      • Domain_fromFlatIntervals

        public static final long Domain_fromFlatIntervals​(long[] jarg1)
      • Domain_flattenedIntervals

        public static final long[] Domain_flattenedIntervals​(long jarg1,
                                                             Domain jarg1_)
      • Domain_isEmpty

        public static final boolean Domain_isEmpty​(long jarg1,
                                                   Domain jarg1_)
      • Domain_size

        public static final long Domain_size​(long jarg1,
                                             Domain jarg1_)
      • Domain_min

        public static final long Domain_min​(long jarg1,
                                            Domain jarg1_)
      • Domain_max

        public static final long Domain_max​(long jarg1,
                                            Domain jarg1_)
      • Domain_contains

        public static final boolean Domain_contains​(long jarg1,
                                                    Domain jarg1_,
                                                    long jarg2)
      • Domain_complement

        public static final long Domain_complement​(long jarg1,
                                                   Domain jarg1_)
      • Domain_negation

        public static final long Domain_negation​(long jarg1,
                                                 Domain jarg1_)
      • Domain_intersectionWith

        public static final long Domain_intersectionWith​(long jarg1,
                                                         Domain jarg1_,
                                                         long jarg2,
                                                         Domain jarg2_)
      • Domain_unionWith

        public static final long Domain_unionWith​(long jarg1,
                                                  Domain jarg1_,
                                                  long jarg2,
                                                  Domain jarg2_)
      • Domain_additionWith

        public static final long Domain_additionWith​(long jarg1,
                                                     Domain jarg1_,
                                                     long jarg2,
                                                     Domain jarg2_)
      • Domain_toString

        public static final java.lang.String Domain_toString​(long jarg1,
                                                             Domain jarg1_)
      • delete_Domain

        public static final void delete_Domain​(long jarg1)
      • new_SortedDisjointIntervalList__SWIG_0

        public static final long new_SortedDisjointIntervalList__SWIG_0()
      • new_SortedDisjointIntervalList__SWIG_1

        public static final long new_SortedDisjointIntervalList__SWIG_1​(long[] jarg1,
                                                                        long[] jarg2)
      • new_SortedDisjointIntervalList__SWIG_2

        public static final long new_SortedDisjointIntervalList__SWIG_2​(int[] jarg1,
                                                                        int[] jarg2)
      • SortedDisjointIntervalList_buildComplementOnInterval

        public static final long SortedDisjointIntervalList_buildComplementOnInterval​(long jarg1,
                                                                                      SortedDisjointIntervalList jarg1_,
                                                                                      long jarg2,
                                                                                      long jarg3)
      • SortedDisjointIntervalList_insertIntervals__SWIG_0

        public static final void SortedDisjointIntervalList_insertIntervals__SWIG_0​(long jarg1,
                                                                                    SortedDisjointIntervalList jarg1_,
                                                                                    long[] jarg2,
                                                                                    long[] jarg3)
      • SortedDisjointIntervalList_insertIntervals__SWIG_1

        public static final void SortedDisjointIntervalList_insertIntervals__SWIG_1​(long jarg1,
                                                                                    SortedDisjointIntervalList jarg1_,
                                                                                    int[] jarg2,
                                                                                    int[] jarg3)
      • SortedDisjointIntervalList_numIntervals

        public static final int SortedDisjointIntervalList_numIntervals​(long jarg1,
                                                                        SortedDisjointIntervalList jarg1_)
      • SortedDisjointIntervalList_toString

        public static final java.lang.String SortedDisjointIntervalList_toString​(long jarg1,
                                                                                 SortedDisjointIntervalList jarg1_)
      • SortedDisjointIntervalList_insertInterval

        public static final void SortedDisjointIntervalList_insertInterval​(long jarg1,
                                                                           SortedDisjointIntervalList jarg1_,
                                                                           long jarg2,
                                                                           long jarg3)
      • delete_SortedDisjointIntervalList

        public static final void delete_SortedDisjointIntervalList​(long jarg1)