private void ReadPrivatePredicates(CompoundExpression exp, Domain d)
{
foreach (Expression e in exp.SubExpressions)
{
CompoundExpression eSub = (CompoundExpression)e;
Predicate p = ReadPredicate(eSub, d);
d.AddPrivatePredicate(p);
}
}