solve/it.unibo.tuprolog.solve.sideffects/SideEffect/ResetRuntime/ResetRuntime

ResetRuntime

constructor(libraries: Runtime)

constructor(libraries: Iterable<Library>)

constructor(libraries: Sequence<Library>)

constructor(vararg libraries: Library)