Lines Matching defs:currentGate
166 void ProcessStateDepend(GateRef currentGate)
170 if (acc_.GetStateCount(currentGate) > 0) {
171 ASSERT(acc_.GetStateCount(currentGate) == 1);
172 auto stateInput = acc_.GetState(currentGate);
174 acc_.ReplaceStateIn(currentGate, currentState);
176 if (!acc_.IsVirtualState(currentGate) && !acc_.IsFixed(currentGate)) {
177 replacement_.SetState(currentGate);
180 if (acc_.GetDependCount(currentGate) > 0) {
181 ASSERT(acc_.GetDependCount(currentGate) == 1);
182 auto dependInput = acc_.GetDep(currentGate);
184 acc_.ReplaceDependIn(currentGate, currentDepend);
186 replacement_.SetDepend(currentGate);