Class ModelStatistics


  • public class ModelStatistics
    extends java.lang.Object
    This class provides some methods to access statistical information about a given project.
    Author:
    Holger Eichelberger
    • Field Detail

      • constraintsCount

        private int constraintsCount
      • variablesCount

        private int variablesCount
      • declaredDataTypesCount

        private int declaredDataTypesCount
    • Constructor Detail

      • ModelStatistics

        public ModelStatistics()
        Creates a new model statistics object. Please note that we explicitly separated the creation of this object from the collection of data as we expect further, more complex statistical operations on subelements (such as the average depth of constraint trees) which shall explicitly be enabled before data collection.
    • Method Detail

      • collect

        public void collect​(Project project)
        Collects statistics about project.
        Parameters:
        project - the project to collect statistics about
      • getDeclaredConstraintsCount

        public int getDeclaredConstraintsCount()
        Returns the number of declared constraints.
        Returns:
        the number of declared constraints
      • getDeclaredVariablesCount

        public int getDeclaredVariablesCount()
        Returns the number of declared decision variables.
        Returns:
        the number of declared decision variables
      • getDeclaredDataTypesCount

        protected int getDeclaredDataTypesCount()
        Returns the number of declared data types.
        Returns:
        the number of declared data types