applications.runtime\_certlin ============================= .. automodule:: applications.runtime_certlin :members: .. rubric:: Functions .. autosummary:: polyhedron_from_general_system