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 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(); }