mario.Database.to_iot#

Database.to_iot(method, inplace=True)#

Transform a SUT database into an IOT database.

Parameters:

method – SUT-to-IOT transformation method understood by the transformation engine.
inplace – When True, mutate the current database. When False, return a transformed copy.

Returns:

Transformed database when inplace=False, otherwise None.

Return type:

Database | None