Arrays.asList(H, S3, S2, S1, P3, P2, P1, R, RR), new PropertyHierarchyCompositionComputationFactory( DummyInterruptMonitor.INSTANCE, Producer.Dummy.get(), PropertyHierarchyCompositionState.Dispatcher.DUMMY), ConcurrentExecutors.create("test-hierarchy-compositions"),
/** * Creates an {@link ElkAxiomConverter} for converting {@link ElkAxiom}s * that have already been indexed in the given * {@link ModifiableIndexedObjectCache}. All {@link ModifiableIndexedObject} * s subexpression of the converted {@link ModifiabledIndexedAxiom}s are * taken from this {@link ModifiableIndexedObjectCache} as well. The * provided {@link ModifiableIndexedObjectCache} will not change. The * converter may not work properly if used with {@link ElkAxiom}s that have * not been indexed in the given {@link ModifiableIndexedObjectCache} (e.g., * {@link NullPointerException}s may occur). * * @param elkFactory * used to create auxiliary {@link ElkObject}s * * @param index * the {@link ModifiableIndexedObjectCache} from which all * {@link ModifiableIndexedObject}s are used. */ public ElkAxiomConverterImpl(PredefinedElkClassFactory elkFactory, ModifiableOntologyIndex index) { this(elkFactory, new ResolvingModifiableIndexedObjectFactory(index), index, Producer.Dummy.get()); }
/** * Creates an {@link ElkAxiomConverter} for converting {@link ElkAxiom}s * that have already been indexed in the given * {@link ModifiableIndexedObjectCache}. All {@link ModifiableIndexedObject} * s subexpression of the converted {@link ModifiabledIndexedAxiom}s are * taken from this {@link ModifiableIndexedObjectCache} as well. The * provided {@link ModifiableIndexedObjectCache} will not change. The * converter may not work properly if used with {@link ElkAxiom}s that have * not been indexed in the given {@link ModifiableIndexedObjectCache} (e.g., * {@link NullPointerException}s may occur). * * @param elkFactory * used to create auxiliary {@link ElkObject}s * * @param index * the {@link ModifiableIndexedObjectCache} from which all * {@link ModifiableIndexedObject}s are used. */ public ElkAxiomConverterImpl(PredefinedElkClassFactory elkFactory, ModifiableOntologyIndex index) { this(elkFactory, new ResolvingModifiableIndexedObjectFactory(index), index, Producer.Dummy.get()); }
/** * Creates an {@link ElkAxiomConverter} for converting {@link ElkAxiom}s * that have already been indexed in the given * {@link ModifiableIndexedObjectCache}. All {@link ModifiableIndexedObject} * s subexpression of the converted {@link ModifiabledIndexedAxiom}s are * taken from this {@link ModifiableIndexedObjectCache} as well. The * provided {@link ModifiableIndexedObjectCache} will not change. The * converter may not work properly if used with {@link ElkAxiom}s that have * not been indexed in the given {@link ModifiableIndexedObjectCache} (e.g., * {@link NullPointerException}s may occur). * * @param elkFactory * used to create auxiliary {@link ElkObject}s * * @param index * the {@link ModifiableIndexedObjectCache} from which all * {@link ModifiableIndexedObject}s are used. */ public ElkAxiomConverterImpl(PredefinedElkClassFactory elkFactory, ModifiableOntologyIndex index) { this(elkFactory, new ResolvingModifiableIndexedObjectFactory(index), index, Producer.Dummy.get()); }
<F extends CachedIndexedObject.Factory & ModifiableIndexedObject.Factory> ElkAxiomConverterImpl( PredefinedElkClassFactory elkFactory, F baseFactory, ModifiableOntologyIndex index, int increment) { this(elkFactory, new UpdatingModifiableIndexedObjectFactory(baseFactory, index, OccurrenceIncrement.getNeutralIncrement(increment)), new UpdatingModifiableIndexedObjectFactory(baseFactory, index, OccurrenceIncrement.getPositiveIncrement(increment)), new UpdatingModifiableIndexedObjectFactory(baseFactory, index, OccurrenceIncrement.getNegativeIncrement(increment)), new UpdatingModifiableIndexedObjectFactory(baseFactory, index, OccurrenceIncrement.getDualIncrement(increment)), index, Producer.Dummy.get()); }
<F extends CachedIndexedObject.Factory & ModifiableIndexedObject.Factory> ElkAxiomConverterImpl( PredefinedElkClassFactory elkFactory, F baseFactory, ModifiableOntologyIndex index, int increment) { this(elkFactory, new UpdatingModifiableIndexedObjectFactory(baseFactory, index, OccurrenceIncrement.getNeutralIncrement(increment)), new UpdatingModifiableIndexedObjectFactory(baseFactory, index, OccurrenceIncrement.getPositiveIncrement(increment)), new UpdatingModifiableIndexedObjectFactory(baseFactory, index, OccurrenceIncrement.getNegativeIncrement(increment)), new UpdatingModifiableIndexedObjectFactory(baseFactory, index, OccurrenceIncrement.getDualIncrement(increment)), index, Producer.Dummy.get()); }
<F extends CachedIndexedObject.Factory & ModifiableIndexedObject.Factory> ElkAxiomConverterImpl( PredefinedElkClassFactory elkFactory, F baseFactory, ModifiableOntologyIndex index, int increment) { this(elkFactory, new UpdatingModifiableIndexedObjectFactory(baseFactory, index, OccurrenceIncrement.getNeutralIncrement(increment)), new UpdatingModifiableIndexedObjectFactory(baseFactory, index, OccurrenceIncrement.getPositiveIncrement(increment)), new UpdatingModifiableIndexedObjectFactory(baseFactory, index, OccurrenceIncrement.getNegativeIncrement(increment)), new UpdatingModifiableIndexedObjectFactory(baseFactory, index, OccurrenceIncrement.getDualIncrement(increment)), index, Producer.Dummy.get()); }
public TestPropertySaturation(ConcurrentExecutor executor, int maxWorkers) { super(new PropertyHierarchyCompositionComputationFactory( DummyInterruptMonitor.INSTANCE, Producer.Dummy.get(), PropertyHierarchyCompositionState.Dispatcher.DUMMY), executor, maxWorkers); } }