using System;

using System.Collections.Generic;

using System.Linq;

using System.Text;

namespace ExpertSystem

{

    interface IExpertSystemForm

    {

        /// <summary>

        /// Заголовок формы

        /// </summary>

        string Caption { get; set; }

        /// <summary>

        /// Перерисовать утверждения

        /// </summary>

        /// <param name="propositions">Список утверждений</param>

        void draw_propositions(List<Proposition> propositions);

        /// <summary>

        /// Индекс выбранного утверждения (выбарно в таблице утверждение, встали на него мышкой)

        /// </summary>

        int CurrentPropositionIndex { get; }

    }

}