Package org.sosy_lab.java_smt.delegate.statistics

Class SolverStatistics

  • public class SolverStatistics
extends Object

    • Method Detail

      • getNumberOfProverEnvironments

        public int getNumberOfProverEnvironments()

      • getNumberOfPopQueries

        public int getNumberOfPopQueries()

      • getNumberOfPushQueries

        public int getNumberOfPushQueries()

      • getNumberOfAddConstraintQueries

        public int getNumberOfAddConstraintQueries()

      • getNumberOfModelQueries

        public int getNumberOfModelQueries()

      • getNumberOfUnsatCoreQueries

        public int getNumberOfUnsatCoreQueries()

      • getNumberOfIsUnsatQueries

        public int getNumberOfIsUnsatQueries()

      • getSumTimeOfIsUnsatQueries

        public TimeSpan getSumTimeOfIsUnsatQueries()

      • getMaxTimeOfIsUnsatQueries

        public TimeSpan getMaxTimeOfIsUnsatQueries()

      • getNumberOfAllSatQueries

        public int getNumberOfAllSatQueries()

      • getSumTimeOfAllSatQueries

        public TimeSpan getSumTimeOfAllSatQueries()

      • getMaxTimeOfAllSatQueries

        public TimeSpan getMaxTimeOfAllSatQueries()

      • getNumberOfInterpolationQueries

        public int getNumberOfInterpolationQueries()

      • getSumTimeOfInterpolationQueries

        public TimeSpan getSumTimeOfInterpolationQueries()

      • getMaxTimeOfInterpolationQueries

        public TimeSpan getMaxTimeOfInterpolationQueries()

      • getNumberOfBooleanOperations

        public int getNumberOfBooleanOperations()

      • getNumberOfVisits

        public int getNumberOfVisits()

      • getNumberOfNumericOperations

        public int getNumberOfNumericOperations()

      • getNumberOfArrayOperations

        public int getNumberOfArrayOperations()

      • getNumberOfSLOperations

        public int getNumberOfSLOperations()

      • getNumberOfUFOperations

        public int getNumberOfUFOperations()

      • getNumberOfQuantifierOperations

        public int getNumberOfQuantifierOperations()

      • getNumberOfBVOperations

        public int getNumberOfBVOperations()

      • getNumberOfFPOperations

        public int getNumberOfFPOperations()

      • getNumberOfStringOperations

        public int getNumberOfStringOperations()

      • getNumberOfModelEvaluationQueries

        public int getNumberOfModelEvaluationQueries()

      • getNumberOfModelListings

        public int getNumberOfModelListings()