Package wprover

Class RuleList

  • public class RuleList
extends java.lang.Object
    RuleList is a class that manages a list of rules for GDD and FULL types. It provides methods to load rules, retrieve rules by index, and manage rule values.

    • Field Summary

      Fields 
      Modifier and Type Field Description
      static java.util.Vector FULLLIST  
      static java.util.Vector GDDLIST  

    • Method Summary

      All Methods Static Methods Concrete Methods 
      Modifier and Type Method Description
      static java.util.Vector getAllFullRules()
      Retrieves all FULL rules.
      static java.util.Vector getAllGDDRules()
      Retrieves all GDD rules.
      static GRule getFrule​(int n)
      Retrieves a FULL rule by its index.
      static GRule getGrule​(int n)
      Retrieves a GDD rule by its index.
      static boolean getValue​(int n)
      Retrieves the value of a rule by its index.
      static void loadRules()
      Loads all GDD and FULL rules.
      static void setValue​(int n, boolean v)
      Sets the value of a rule by its index.

      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

    • Field Detail

      • GDDLIST

        public static final java.util.Vector GDDLIST

      • FULLLIST

        public static final java.util.Vector FULLLIST

    • Method Detail

      • getAllGDDRules

        public static java.util.Vector getAllGDDRules()
        Retrieves all GDD rules.
        Returns:
        a Vector containing all GDD rules

      • getAllFullRules

        public static java.util.Vector getAllFullRules()
        Retrieves all FULL rules.
        Returns:
        a Vector containing all FULL rules

      • getGrule

        public static GRule getGrule​(int n)
        Retrieves a GDD rule by its index.
        Parameters:
        n - the index of the GDD rule to retrieve
        Returns:
        the GDD rule at the specified index, or null if the index is out of bounds

      • getFrule

        public static GRule getFrule​(int n)
        Retrieves a FULL rule by its index.
        Parameters:
        n - the index of the FULL rule to retrieve
        Returns:
        the FULL rule at the specified index, or null if the index is out of bounds

      • loadRules

        public static void loadRules()
        Loads all GDD and FULL rules.

      • getValue

        public static boolean getValue​(int n)
        Retrieves the value of a rule by its index.
        Parameters:
        n - the index of the rule
        Returns:
        the value of the rule at the specified index

      • setValue

        public static void setValue​(int n,
                            boolean v)
        Sets the value of a rule by its index.
        Parameters:
        n - the index of the rule
        v - the value to set for the rule