Uses of Class
de.uni_mannheim.informatik.dws.melt.matching_base.external.seals.MatcherSealsBuilder
-
Uses of MatcherSealsBuilder in de.uni_mannheim.informatik.dws.melt.matching_base.external.seals
Modifier and TypeMethodDescriptionMatcherSealsBuilder.addJavaRuntimeParameters
(String javaRuntimeParameter) MatcherSealsBuilder.setDoNotUseInputAlignment
(boolean doNotUseInputAlignment) MatcherSealsBuilder.setFreshMatcherInstance
(boolean freshMatcherInstance) MatcherSealsBuilder.setJavaCommand
(String javaCommand) MatcherSealsBuilder.setJavaRuntimeParameters
(List<String> javaRuntimeParameters) MatcherSealsBuilder.setSealsClientJar
(File sealsClientJar) MatcherSealsBuilder.setTimeout
(long timeout) MatcherSealsBuilder.setTimeoutTimeUnit
(TimeUnit timeoutTimeUnit) MatcherSealsBuilder.setTmpFolder
(File tmpFolder) Sets the tmp folder where e.g.