Searched defs:valueLattice (Results 1 – 1 of 1) sorted by relevance
202 std::function<ValueLattice &(GateRef)> valueLattice, in Initialize()211 bool LatticeUpdateRule::UpdateValueLattice(GateRef gate, const ValueLattice &valueLattice) in UpdateValueLattice()