:py:mod:`fca.rca.models`
========================

.. py:module:: fca.rca.models

.. autoapi-nested-parse::

   Propositionalization (P18N) operators



Module Contents
---------------

Classes
~~~~~~~

.. autoapisummary::

   fca.rca.models.Propositionalization
   fca.rca.models.Exists
   fca.rca.models.Forall
   fca.rca.models.Relation




.. py:class:: Propositionalization


   Bases: :py:obj:`abc.ABC`

   Helper class that provides a standard way to create an ABC using
   inheritance.


.. py:class:: Exists


   Bases: :py:obj:`Propositionalization`

   Helper class that provides a standard way to create an ABC using
   inheritance.


.. py:class:: Forall


   Bases: :py:obj:`Propositionalization`

   Helper class that provides a standard way to create an ABC using
   inheritance.


.. py:class:: Relation(array, indexes)


   Bases: :py:obj:`list`

   Built-in mutable sequence.

   If no argument is given, the constructor creates a new empty list.
   The argument must be an iterable if specified.

   .. py:method:: __init__(array, indexes)

      Initialize self.  See help(type(self)) for accurate signature.


   .. py:method:: context_index_from()


   .. py:method:: context_indexes_to()


   .. py:method:: arity()