Tremup Documentation

This page contains the Tremup Package documentation.

The misc Module

Helper functions for maintaining the library files.

cmpy.machines.libraries.tremup.misc.remove_unzipped()
cmpy.machines.libraries.tremup.misc.unzip_files()
cmpy.machines.libraries.tremup.misc.zip_files()

The haskell Module

cmpy.machines.libraries.tremup.haskell.haskell_machine(indexed_file, index)
cmpy.machines.libraries.tremup.haskell.machines(n)

Returns an IndexedMachines instance for n number of states.

cmpy.machines.libraries.tremup.haskell.topological_eMs(*args, **kwargs)

topological_eMs() is deprecated. Use cmpy.machines.library(0, n) instead.