Package com.google.ortools.sat

Class SolutionCallback

    • Field Detail

      • swigCMemOwn

        protected transient boolean swigCMemOwn

    • Constructor Detail

      • SolutionCallback

        public SolutionCallback​(long cPtr,
                        boolean cMemoryOwn)

      • SolutionCallback

        public SolutionCallback()

    • 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()

      • onSolutionCallback

        public void onSolutionCallback()

      • numBooleans

        public long numBooleans()

      • numBranches

        public long numBranches()

      • numConflicts

        public long numConflicts()

      • numBinaryPropagations

        public long numBinaryPropagations()

      • numIntegerPropagations

        public long numIntegerPropagations()

      • wallTime

        public double wallTime()

      • userTime

        public double userTime()

      • objectiveValue

        public double objectiveValue()

      • bestObjectiveBound

        public double bestObjectiveBound()

      • solutionIntegerValue

        public long solutionIntegerValue​(int index)

      • solutionBooleanValue

        public boolean solutionBooleanValue​(int index)

      • stopSearch

        public void stopSearch()