- All Superinterfaces:
- java.util.function.Function<Triple<ClauseSplitterSearchProblem.State,ClauseSplitterSearchProblem.Action,ClauseSplitterSearchProblem.State>,Counter<java.lang.String>>, java.io.Serializable
- Enclosing class:
- ClauseSplitterSearchProblem
public static interface ClauseSplitterSearchProblem.Featurizer
extends java.util.function.Function<Triple<ClauseSplitterSearchProblem.State,ClauseSplitterSearchProblem.Action,ClauseSplitterSearchProblem.State>,Counter<java.lang.String>>, java.io.Serializable
Mostly just an alias, but make sure our featurizer is serializable!