Lines Matching defs:gate
28 virtual int32_t GetGateOrder(GateRef gate) = 0;
29 virtual void SetGateOrder(GateRef gate, int32_t orderId) = 0;
31 virtual void ReVisitGate(GateRef gate) = 0;
32 virtual void LogicallyReplaceGate(GateRef gate, GateRef replacement) = 0;
33 virtual void RelaxStateAndDepend(GateRef gate) = 0;
34 virtual void ReplaceGate(GateRef gate, GateRef replacement) = 0;
35 virtual void ReplaceGate(GateRef gate, StateDepend stateDepend, GateRef replacement) = 0;
44 virtual GateRef VisitGate(GateRef gate) = 0;
48 void ReplaceGate(GateRef gate, GateRef replacement)
50 visitor_->ReplaceGate(gate, replacement);
52 void ReplaceGate(GateRef gate, StateDepend stateDepend, GateRef replacement)
54 visitor_->ReplaceGate(gate, stateDepend, replacement);
70 int32_t GetGateOrder(GateRef gate) override;
71 void SetGateOrder(GateRef gate, int32_t orderId) override;
75 GateRef VisitGate(GateRef gate);
76 void ReVisitGate(GateRef gate) override;
77 void LogicallyReplaceGate(GateRef gate, GateRef replacement) override;
78 void RelaxStateAndDepend(GateRef gate) override;
79 void ReplaceGate(GateRef gate, GateRef replacement) override;
80 void ReplaceGate(GateRef gate, StateDepend stateDepend, GateRef replacement) override;
82 void VistDependSelectorForLoop(GateRef gate);
88 void PushGate(GateRef gate, size_t index)
90 workList_.push_back(Edge{gate, index});
91 acc_.SetMark(gate, MarkCode::VISITED);
94 void PushChangedGate(GateRef gate)
96 changedList_.push_back(gate);
97 acc_.SetMark(gate, MarkCode::PREVISIT);
100 void PopGate(GateRef gate)
103 acc_.SetMark(gate, MarkCode::FINISHED);