+ public List<Integer> vectorPartWidths;
+ }
+
+ static
+ {
+ StandardHighLevelStateHandlerSnippetSuppliers.atomicHandlerSupplier
+ .setSnippetSupplier(BitVectorSplittingAtomicHighLevelStateHandler.class.getCanonicalName(), SnippetDefinintion.create(
+ BitVectorSplittingAtomicHighLevelStateHandlerParams.class, BitVectorSplittingAtomicHighLevelStateHandler::new));