Uses of Class
org.intocps.maestro.plugin.Initializer.TopologicalPlugin
-
Packages that use TopologicalPlugin Package Description org.intocps.maestro.plugin.Initializer -
-
Uses of TopologicalPlugin in org.intocps.maestro.plugin.Initializer
Constructors in org.intocps.maestro.plugin.Initializer with parameters of type TopologicalPlugin Constructor Description Initializer(TopologicalPlugin topologicalPlugin, org.intocps.maestro.plugin.verificationsuite.PrologVerifier.InitializationPrologQuery initializationPrologQuery)
-