subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/Reasoning.java


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24

package tools.refinery.store.reasoning;

import tools.refinery.store.reasoning.internal.ReasoningBuilderImpl;
import tools.refinery.store.adapter.ModelAdapterBuilderFactory;
import tools.refinery.store.model.ModelStoreBuilder;
import tools.refinery.store.reasoning.representation.PartialRelation;

public final class Reasoning extends ModelAdapterBuilderFactory<ReasoningAdapter,
		ReasoningStoreAdapter, ReasoningBuilder> {
	public static final Reasoning ADAPTER = new Reasoning();

	public static final PartialRelation EXISTS = new PartialRelation("exists", 1);

	public static final PartialRelation EQUALS = new PartialRelation("equals", 1);

	private Reasoning() {
		super(ReasoningAdapter.class, ReasoningStoreAdapter.class, ReasoningBuilder.class);
	}

	@Override
	public ReasoningBuilder createBuilder(ModelStoreBuilder storeBuilder) {
		return new ReasoningBuilderImpl(storeBuilder);
	}
}