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