+ @Override
+ public String getIDForSerializing(IdentifyParams idParams)
+ {
+ return "wireForcing";
+ }
+
+ @Override
+ public WireForcingAtomicHighLevelStateHandlerParams getParamsForSerializing(IdentifyParams idParams)
+ {
+ WireForcingAtomicHighLevelStateHandlerParams params = new WireForcingAtomicHighLevelStateHandlerParams();
+ params.wiresToForce = wiresToForce.stream().map(w -> w.name).collect(Collectors.toList());
+ params.wiresToForceInverted = wiresToForceInverted.stream().map(w -> w.name).collect(Collectors.toList());
+ return params;
+ }
+