Enum SmtKeyword

  • All Implemented Interfaces:
    java.io.Serializable, java.lang.Comparable<SmtKeyword>

    public enum SmtKeyword
    extends java.lang.Enum<SmtKeyword>
    This class contains SMT-LIBv2 language keywords.
    • Method Detail

      • values

        public static SmtKeyword[] values()
        Returns an array containing the constants of this enum type, in the order they are declared. This method may be used to iterate over the constants as follows:
        for (SmtKeyword c : SmtKeyword.values())
            System.out.println(c);
        
        Returns:
        an array containing the constants of this enum type, in the order they are declared
      • valueOf

        public static SmtKeyword valueOf​(java.lang.String name)
        Returns the enum constant of this type with the specified name. The string must match exactly an identifier used to declare an enum constant in this type. (Extraneous whitespace characters are not permitted.)
        Parameters:
        name - the name of the enum constant to be returned.
        Returns:
        the enum constant with the specified name
        Throws:
        java.lang.IllegalArgumentException - if this enum type has no constant with the specified name
        java.lang.NullPointerException - if the argument is null
      • isKeyword

        public static boolean isKeyword​(java.lang.String word)
        Checks that the argument is a keyword in SMT-LIB language.
        Parameters:
        word - The object to be checked.
        Returns:
        true if the argument is a keyword in a SMT-LIB language, false otherwise.