public void MarkTerminal(IMissionTerminalExpander terminal)
 {
     m_terminals.Remove(terminal);
 }
        public void MarkTerminal(IMissionTerminalExpander terminal)
        {
            foreach (MissionNode dest in m_outEdges[m_readyTerminals[terminal]])
            {
                m_inEdgeCounts[dest] -= 1;
                if (m_inEdgeCounts[dest] == 0)
                {
                    m_readyTerminals.Add(dest.Expander, dest);
                }
            }

            m_terminalsRemaining--;
            m_readyTerminals.Remove(terminal);
        }