/// <summary>
/// Initializes a new instance of the <see cref="ConclusionClass"/> class.
/// </summary>
/// <param name="bases">The bases.</param>
/// <param name="viewModel">The view model.</param>
public ConclusionClass(GatheredBases bases, ViewModel viewModel, IElementsNamesLanguageConfig config)
{
_bases = bases;
_viewModel = viewModel;
_config = config;
_constrainActions = new ConstrainActions(this, _viewModel, bases);
_modelActions = new ModelActions(this, _viewModel, bases, config);
}
public ForwardChaining(GatheredBases bases, ConclusionClass conclusion, ViewModel viewModel,
ConstrainActions constrainActions)
{
_bases = bases;
_conclusion = conclusion;
_viewModel = viewModel;
_constrainActions = constrainActions;
_modelActions = new ModelActions(_conclusion, _viewModel, bases, viewModel._elementsNamesLanguageConfig);
}