Beispiel #1
0
    // Adding rules into the model
    public void Add(SubstitutionRule r)
    {
        substitutionRules.Add(r);
        r.AddToDomain(this);

        if (r.isTransposable)
        {
            substitutionRules.Add(r.Contrapositive());
        }
    }