Interface SolverFeatureList

    • Method Detail

      • create

        SolverFeature create​(java.lang.String tag,
                             java.lang.String type)
        Create a solver feature.
        Specified by:
        create in interface PropFeatureList<SolverFeature>
        Parameters:
        tag - Feature tag.
        type - Feature type.
        Returns:
        Created solver feature.
      • problemNames

        java.lang.String[] problemNames()
        Returns list of solver problem tags.
        Returns:
        Vector with tags.