public void SetData(ConditionSetDTO dto)
        {
            _loading = true;

            Conditions.DataSource = null;
            Quantifier            = LogicalQuantifier.Existential;
            HasData = dto != null;

            if (HasData)
            {
                if (dto.ConditionSet != null)
                {
                    Conditions.DataSource = dto.ConditionSet.Select(s => (ConditionHolder)s).ToList();
                }
                else
                {
                    Conditions.DataSource = new List <ConditionHolder>();
                }

                Quantifier = dto.Quantifier;
            }

            _loading = false;

            OnRefresh?.Invoke();
        }
 public ConditionSet(LogicalQuantifier quantifier, IEnumerable <Condition> conditions)
 {
     Quantifier = quantifier;
     if (conditions != null)
     {
         m_conditions = new List <Condition>(conditions.Distinct());
     }
 }
 public ConditionSet(LogicalQuantifier quantifier, IEnumerable <Condition> conditions)
 {
     Quantifier = quantifier;
     if (conditions != null)
     {
         m_conditions = new HashSet <Condition>(conditions);
     }
 }
        public ConditionSet SetQuantifier(LogicalQuantifier quantifier)
        {
            if (quantifier == Quantifier)
            {
                return(this);
            }

            return(new ConditionSet(quantifier, m_conditions));
        }
 public void SetQuantifier(LogicalQuantifier value)
 {
     Quantifier = value;
     OnDataChanged?.Invoke();
     OnRefresh?.Invoke();
 }
 public void SetQuantifier(LogicalQuantifier value)
 {
     Quantifier = value;
     OnDataChanged?.Invoke();
     OnRefresh?.Invoke();
 }
        public void SetData(ConditionSetDTO dto)
        {
            _loading = true;

            Conditions.DataSource = null;
            Quantifier = LogicalQuantifier.Existential;
            HasData = dto!=null;

            if (HasData)
            {
                if (dto.ConditionSet != null)
                    Conditions.DataSource = dto.ConditionSet.Select(s => (ConditionHolder)s).ToList();
                else
                    Conditions.DataSource = new List<ConditionHolder>();

                Quantifier = dto.Quantifier;
            }

            _loading = false;

            OnRefresh?.Invoke();
        }