{
BitVector result = BitVector.of(Bit.ZERO, logicWidth);
for (ModelWire wire : wiresToForceInverted)
- if (wire.hasLogicModelBinding())
+ if (wire.hasCoreModelBinding())
result = result.or(wire.getWireValues());
result = result.not();
for (ModelWire wire : wiresToForce)
- if (wire.hasLogicModelBinding())
+ if (wire.hasCoreModelBinding())
result = result.and(wire.getWireValues());
return result;
}
else
vector = (BitVector) newState;
for (ModelWire wire : wiresToForce)
- if (wire.hasLogicModelBinding())
+ if (wire.hasCoreModelBinding())
wire.forceWireValues(vector);
vector = vector.not();
for (ModelWire wire : wiresToForceInverted)
- if (wire.hasLogicModelBinding())
+ if (wire.hasCoreModelBinding())
wire.forceWireValues(vector);
}