RuleSimplifiedDodgson --------------------- .. autoclass:: whalrus.RuleSimplifiedDodgson :members: :inherited-members: