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