Class KDisjunctionSelector

    • Field Detail

      • swigCMemOwn

        protected transient boolean swigCMemOwn
    • Constructor Detail

      • KDisjunctionSelector

        protected KDisjunctionSelector​(long cPtr,
                                       boolean cMemoryOwn)
      • KDisjunctionSelector

        public KDisjunctionSelector()
        Constructor
      • KDisjunctionSelector

        public KDisjunctionSelector​(KProblem problem)
        Constructor with KProblem
      • KDisjunctionSelector

        public KDisjunctionSelector​(KDisjunctionSelector selectorToCopy)
        Copy constructor
    • Method Detail

      • finalize

        protected void finalize()
        Overrides:
        finalize in class java.lang.Object
      • delete

        public void delete()
      • swigDirectorDisconnect

        protected void swigDirectorDisconnect()
      • swigReleaseOwnership

        public void swigReleaseOwnership()
      • swigTakeOwnership

        public void swigTakeOwnership()
      • getProblem

        public KProblem getProblem()
      • selectNextDisjunction

        public KDisjunction selectNextDisjunction​(KDisjunctionArray disjunctionArray)
        Virtual interface method to overload for definition of your own disjunction selection heuristics
      • printName

        public void printName()
        Print the name of this disjunction selector
      • getName

        public java.lang.String getName()
        Return the name of this disjunction selector