Interface FilenamePatternDetector

All Known Implementing Classes:
NumericalFilenamePatternDetector

public interface FilenamePatternDetector
  • Method Details

    • detectPatterns

      void detectPatterns(List<String> files)
    • getInvariant

      String getInvariant(int n)
    • getValuesForVariable

      List<String> getValuesForVariable(int n)
    • getPatternAsRegex

      Pattern getPatternAsRegex()
    • getStringRepresentation

      String getStringRepresentation()
    • getNumVariables

      int getNumVariables()