import net.mograsim.logic.model.model.wires.ModelWire;
import net.mograsim.logic.model.serializing.IdentifyParams;
import net.mograsim.logic.model.snippets.SnippetDefinintion;
import net.mograsim.logic.model.model.wires.ModelWire;
import net.mograsim.logic.model.serializing.IdentifyParams;
import net.mograsim.logic.model.snippets.SnippetDefinintion;
import net.mograsim.logic.model.snippets.highlevelstatehandlers.standard.StandardHighLevelStateHandlerSnippetSuppliers;
public class WireForcingAtomicHighLevelStateHandler implements AtomicHighLevelStateHandler
import net.mograsim.logic.model.snippets.highlevelstatehandlers.standard.StandardHighLevelStateHandlerSnippetSuppliers;
public class WireForcingAtomicHighLevelStateHandler implements AtomicHighLevelStateHandler
private final List<ModelWire> wiresToForceInverted;
private final List<ModelWire> wiresToForceInvertedUnmodifiable;
private final List<ModelWire> wiresToForceInverted;
private final List<ModelWire> wiresToForceInvertedUnmodifiable;
this.wiresToForce = new ArrayList<>();
this.wiresToForceUnmodifiable = Collections.unmodifiableList(wiresToForce);
this.wiresToForceInverted = new ArrayList<>();
this.wiresToForce = new ArrayList<>();
this.wiresToForceUnmodifiable = Collections.unmodifiableList(wiresToForce);
this.wiresToForceInverted = new ArrayList<>();