Class SanityChecker

    • Constructor Detail

      • SanityChecker

        public SanityChecker​(WayangPlan wayangPlan)
        Create a new instance
        Parameters:
        wayangPlan - is subject to sanity checks
    • Method Detail

      • checkAllCriteria

        public boolean checkAllCriteria()
      • checkProperSubplans

        public boolean checkProperSubplans()
        Check whether Subplans are used properly.
        Returns:
        whether the test passed
      • checkFlatAlternatives

        public boolean checkFlatAlternatives()
        TODO: (Documentation) add SanityChecker.checkFlatAlternatives labels: documentation,todo
        Returns: