Lines Matching refs:GetStateCount
871 ASSERT(idx < circuit_->LoadGatePtr(gate)->GetStateCount());
878 for (size_t idx = 0; idx < curGate->GetStateCount(); idx++) {
1156 size_t dependIndex = gatePtr->GetStateCount();
1174 size_t dependIndex = gatePtr->GetStateCount();
1368 size_t GateAccessor::GetStateCount(GateRef gate) const
1370 return circuit_->LoadGatePtr(gate)->GetStateCount();
1408 ASSERT(index < GetStateCount(gate));
1415 size_t stateCount = GetStateCount(gate);
1422 size_t stateCount = GetStateCount(gate);
1503 size_t stateEndIndex = stateStartIndex + GetStateCount(*useIt);
1510 size_t dependStartIndex = GetStateCount(*useIt);
1533 size_t stateEndIndex = stateStartIndex + GetStateCount(gate);
1539 size_t dependStartIndex = GetStateCount(gate);
1599 if (GetStateCount(gate) > 0) {
1600 ASSERT(GetStateCount(gate) == 1); // 1: one state
1916 ASSERT(GetStateCount(gate) > 0);