subprojects/store-partial/src/main/java/tools/refinery/store/partial/PartialInterpretation.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.partial;

import tools.refinery.store.partial.internal.PartialInterpretationBuilderImpl;
import tools.refinery.store.adapter.ModelAdapterBuilderFactory;
import tools.refinery.store.model.ModelStoreBuilder;
import tools.refinery.store.partial.representation.PartialRelation;

public final class PartialInterpretation extends ModelAdapterBuilderFactory<PartialInterpretationAdapter,
		PartialInterpretationStoreAdapter, PartialInterpretationBuilder> {
	public static final PartialInterpretation ADAPTER = new PartialInterpretation();

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

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

	private PartialInterpretation() {
		super(PartialInterpretationAdapter.class, PartialInterpretationStoreAdapter.class, PartialInterpretationBuilder.class);
	}

	@Override
	public PartialInterpretationBuilder createBuilder(ModelStoreBuilder storeBuilder) {
		return new PartialInterpretationBuilderImpl(storeBuilder);
	}
}