Package jline.lang

Class FeatureSet

  • All Implemented Interfaces:
    java.io.Serializable 
    
public class FeatureSet
 implements Serializable

    Class representing the features of a particular solver

    • Nested Class Summary

      Nested Classes 
      Modifier and Type Class Description

    • Field Summary

      Fields 
      Modifier and Type Field Description

    • Constructor Summary

      Constructors 
      Constructor Description
      FeatureSet() Creates a new FeatureSet with all features initialized to false.

    • Enum Constant Summary

      Enum Constants 
      Enum Constant Description

    • Method Summary

      Modifier and Type Method Description
      static boolean supports(FeatureSet supported, FeatureSet used) Checks if the used features are supported by the given solver
      boolean inspectFeature(String feature) Checks whether the given feature is used or not in the current feature set
      void setFalse(Array<String> features) Sets multiple features to false in the feature set.
      void setFalse(String feature) Sets a single feature to false in the feature set.
      void setTrue(String feature) Sets a single feature to true in the feature set.
      void setTrue(Array<String> features) Sets multiple features to true in the feature set.

      • Methods inherited from class java.lang.Object

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

    • Constructor Detail

      • FeatureSet

        FeatureSet()
        Creates a new FeatureSet with all features initialized to false.

    • Method Detail

      • supports

         static boolean supports(FeatureSet supported, FeatureSet used)

        Checks if the used features are supported by the given solver

        Parameters:
        supported - - the features supported by the solver
        used - - the used features
        Returns:

        - true if the used features are supported, false otherwise

      • inspectFeature

         boolean inspectFeature(String feature)

        Checks whether the given feature is used or not in the current feature set

        Parameters:
        feature - - the name of the given feature
        Returns:

        - true if the given feature is used, false otherwise

      • setFalse

         void setFalse(Array<String> features)

        Sets multiple features to false in the feature set.

        Parameters:
        features - array of feature names to disable

      • setFalse

         void setFalse(String feature)

        Sets a single feature to false in the feature set.

        Parameters:
        feature - the name of the feature to disable

      • setTrue

         void setTrue(String feature)

        Sets a single feature to true in the feature set.

        Parameters:
        feature - the name of the feature to enable

      • setTrue

         void setTrue(Array<String> features)

        Sets multiple features to true in the feature set.

        Parameters:
        features - array of feature names to enable