textModeRunner.setSSBNgenerator(new HybridSSBNGeneratorBuilder().buildSSBNGenerator());
} catch (InstantiationException e) {
throw new RuntimeException("Failed to instantiate Hybrid SSBN Generator", e);
}
} else {
LaskeyAlgorithmParameters parameters = new LaskeyAlgorithmParameters();
parameters.setParameterValue(LaskeyAlgorithmParameters.DO_INITIALIZATION, "true");
parameters.setParameterValue(LaskeyAlgorithmParameters.DO_BUILDER, "true");
parameters.setParameterValue(LaskeyAlgorithmParameters.DO_PRUNE, "true");
parameters.setParameterValue(LaskeyAlgorithmParameters.DO_CPT_GENERATION, "true");
new LaskeySSBNGenerator(parameters);
}
// load ubf/owl