public void Union(PredicateList other) { if (DC == null) { DC = other.DC; } Positive.UnionWith(other.Positive); Negative.UnionWith(other.Negative); }
public ProbDef(ProblemParser.DataContainer dc) { mDC = dc; StartState.DC = dc; GoalState.DC = dc; GenerateAllGrounds(); }
public PredicateList(PredicateList other, ProblemParser.DataContainer dc) { Positive = new System.Collections.Generic.HashSet <int>(other.Positive); Negative = new System.Collections.Generic.HashSet <int>(other.Negative); DC = dc; }