public LR0Model(ProductionInfoManager infoManager) { CodeContract.RequiresArgumentNotNull(infoManager, "infoManager"); m_infoManager = infoManager; m_states = new List<LR0State>(); }
public LR0Model(ProductionInfoManager infoManager) { CodeContract.RequiresArgumentNotNull(infoManager, "infoManager"); m_infoManager = infoManager; m_states = new List <LR0State>(); }