Uses of Class
org.intocps.maestro.plugin.verificationsuite.PrologVerifier.PrologGenerator
-
Packages that use PrologGenerator Package Description org.intocps.maestro.plugin.verificationsuite.PrologVerifier -
-
Uses of PrologGenerator in org.intocps.maestro.plugin.verificationsuite.PrologVerifier
Constructors in org.intocps.maestro.plugin.verificationsuite.PrologVerifier with parameters of type PrologGenerator Constructor Description InitializationPrologQuery(PrologGenerator prologGenerator)
-