subprojects/store-query/src/testFixtures/java/tools/refinery/store/query/tests/QueryMatchers.java


1
2
3
4
5
6
7
8
9
10
11
12
13
14

package tools.refinery.store.query.tests;

import org.hamcrest.Matcher;
import tools.refinery.store.query.Dnf;

public final class QueryMatchers {
	private QueryMatchers() {
		throw new IllegalStateException("This is a static utility class and should not be instantiated directly");
	}

	public static Matcher<Dnf> structurallyEqualTo(Dnf expected) {
		return new StructurallyEqualTo(expected);
	}
}