Comorphism

class hets.Comorphism(hs_comorphism: hs.HetsAPI.Python.PyComorphism)

A comorphism from one logic to another.

Warning:

This class should not be instantiated manually.

Parameters:

hs_comorphism – Haskell object of HetsAPI.Python.PyComorphism

name() → str

Get the name of the comorphism.

path_length() → int

Calculates the length of the comorphism path.

source() → str

target() → str