// Adding rules into the model public void Add(SubstitutionRule r) { substitutionRules.Add(r); r.AddToDomain(this); if (r.isTransposable) { substitutionRules.Add(r.Contrapositive()); } }
// Adding rules into the model public void Add(SubstitutionRule r) { substitutionRules.Add(r); r.AddToDomain(this); if (r.isTransposable) { substitutionRules.Add(r.Contrapositive()); } }