Class CriterionElement

    • Constructor Summary

      Constructors 
      Constructor Description
      CriterionElement​(java.lang.String name, boolean canDisable)
      Construct an element for a criterion.
    • Method Summary

      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • CriterionElement

        public CriterionElement​(java.lang.String name,
                                boolean canDisable)
        Construct an element for a criterion.
        Parameters:
        name - The name of the element.
        canDisable - Whether the element can be disabled.