Package daikon.split
Class ContextSplitterFactory.PptNameAndSplitters
- Object
-
- PptNameAndSplitters
-
- Enclosing class:
- ContextSplitterFactory
public static final class ContextSplitterFactory.PptNameAndSplitters extends Object
Simple record type to store a PptName and Splitter array.
-
-
Constructor Summary
Constructors Constructor Description PptNameAndSplitters(String ppt_name, Splitter[] splitters)
-
-
-
Constructor Detail
-
PptNameAndSplitters
public PptNameAndSplitters(String ppt_name, Splitter[] splitters)
-
-