edu.tum.cs.isabelle.Implementations
Class path coupled with a package name.
It is expected that the specified class extends Environment. Furthermore, the class path should contain all required dependencies.
Environment
Class path coupled with a package name.
It is expected that the specified class extends
Environment
. Furthermore, the class path should contain all required dependencies.