fca.rca.models

Propositionalization (P18N) operators

Module Contents

Classes

Propositionalization	Helper class that provides a standard way to create an ABC using
Exists	Helper class that provides a standard way to create an ABC using
Forall	Helper class that provides a standard way to create an ABC using
Relation	Built-in mutable sequence.

class fca.rca.models.Propositionalization

Bases: abc.ABC

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

class fca.rca.models.Exists

Bases: Propositionalization

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

class fca.rca.models.Forall

Bases: Propositionalization

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

class fca.rca.models.Relation(array, indexes)

Bases: 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.

__init__(array, indexes)

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

context_index_from()

context_indexes_to()

arity()