specless.synthesis.ProductGraphSynthesisAlgorithm ================================================= .. currentmodule:: specless.synthesis .. autoclass:: ProductGraphSynthesisAlgorithm :members: :show-inheritance: :inherited-members: :special-members: __call__, __add__, __mul__ .. rubric:: Methods .. autosummary:: :nosignatures: ~ProductGraphSynthesisAlgorithm.synthesize