Interface ProbeFeature

    • Method Detail

      • create

        ProbeFeature create​(java.lang.String tag,
                            java.lang.String oper)
        Create a probe feature.
        Parameters:
        tag - Feature tag.
        oper - Type of feature.
        Returns:
        Created probe feature.
      • feature

        ProbeFeatureList feature()
        Returns all probe features.
        Returns:
        Probe features.
      • feature

        ProbeFeature feature​(java.lang.String tag)
        Returns a probe feature.
        Parameters:
        tag - Probe feature tag.
        Returns:
        Probe feature.
      • genResult

        void genResult​(java.lang.String solution)
        Generate probe results for solution.
        Parameters:
        solution - Solver sequence tag.
      • selection

        LocalSelection selection​(java.lang.String name)
        Returns a selection property from the probe.
        Specified by:
        selection in interface PropFeature
        Parameters:
        name - Selection property name.
        Returns:
        Selection.