TransitiveRelation
==================

.. currentmodule:: proveit

.. autoclass:: TransitiveRelation
   :show-inheritance:

   .. rubric:: Methods Summary

   .. autosummary::

      ~TransitiveRelation.EquivalenceClass
      ~TransitiveRelation.StrongRelationClass
      ~TransitiveRelation.WeakRelationClass
      ~TransitiveRelation.apply_transitivities
      ~TransitiveRelation.apply_transitivity
      ~TransitiveRelation.conclude
      ~TransitiveRelation.conclude_via_transitivity
      ~TransitiveRelation.insertion_point
      ~TransitiveRelation.known_relations_from_left
      ~TransitiveRelation.known_relations_from_right
      ~TransitiveRelation.mergesort
      ~TransitiveRelation.mergesorted_items
      ~TransitiveRelation.side_effects
      ~TransitiveRelation.sort
      ~TransitiveRelation.sorted_items

   .. rubric:: Methods Documentation

   .. automethod:: EquivalenceClass
   .. automethod:: StrongRelationClass
   .. automethod:: WeakRelationClass
   .. automethod:: apply_transitivities
   .. automethod:: apply_transitivity
   .. automethod:: conclude
   .. automethod:: conclude_via_transitivity
   .. automethod:: insertion_point
   .. automethod:: known_relations_from_left
   .. automethod:: known_relations_from_right
   .. automethod:: mergesort
   .. automethod:: mergesorted_items
   .. automethod:: side_effects
   .. automethod:: sort
   .. automethod:: sorted_items