/**
* Generated from platform:/resource/case.study.a.queries/src/queries/case_study_A.vql
*/
package queries;
import org.eclipse.viatra.query.runtime.api.ViatraQueryEngine;
import org.eclipse.viatra.query.runtime.api.impl.BaseGeneratedPatternGroup;
import queries.Inv03;
import queries.Inv05;
import queries.Inv06;
import queries.Inv07;
import queries.Inv08;
import queries.Inv10;
import queries.Inv11;
import queries.Inv12;
import queries.Inv13;
import queries.Inv15;
import queries.Inv17;
import queries.Inv20;
import queries.Inv33;
import queries.Inv34;
import queries.Inv35;
import queries.Inv47;
import queries.Inv48;
import queries.Inv49;
import queries.X_inv03_eligAll;
import queries.X_inv03_hasAll;
import queries.X_inv05_inRange;
import queries.X_inv08_inRange;
import queries.X_inv08_noType;
import queries.X_inv08_notEI;
import queries.X_inv11_incNotOver100;
import queries.X_inv11_incOver100;
import queries.X_inv12_notNonRes;
import queries.X_inv12_notZZ;
import queries.X_inv13;
import queries.X_inv15;
import queries.X_inv47;
import queries.X_inv48_3;
import queries.X_inv48_Dis;
import queries.X_inv48_notDis;
import queries.X_inv49_1;
import queries.X_inv49_2;
/**
* A pattern group formed of all public patterns defined in case_study_A.vql.
*
*
Use the static instance as any {@link interface org.eclipse.viatra.query.runtime.api.IQueryGroup}, to conveniently prepare
* a VIATRA Query engine for matching all patterns originally defined in file case_study_A.vql,
* in order to achieve better performance than one-by-one on-demand matcher initialization.
*
*
From package queries, the group contains the definition of the following patterns:
* - inv03
* - x_inv03_eligAll
* - x_inv03_hasAll
* - inv05
* - x_inv05_inRange
* - inv06
* - inv07
* - inv08
* - x_inv08_notEI
* - x_inv08_noType
* - x_inv08_inRange
* - inv10
* - inv11
* - x_inv11_incOver100
* - x_inv11_incNotOver100
* - inv12
* - x_inv12_notNonRes
* - x_inv12_notZZ
* - inv13
* - x_inv13
* - inv15
* - x_inv15
* - inv17
* - inv20
* - inv33
* - inv34
* - inv35
* - inv47
* - x_inv47
* - inv48
* - x_inv48_notDis
* - x_inv48_Dis
* - x_inv48_3
* - inv49
* - x_inv49_1
* - x_inv49_2
*
*
* @see IQueryGroup
*
*/
@SuppressWarnings("all")
public final class Case_study_A extends BaseGeneratedPatternGroup {
/**
* Access the pattern group.
*
* @return the singleton instance of the group
* @throws ViatraQueryRuntimeException if there was an error loading the generated code of pattern specifications
*
*/
public static Case_study_A instance() {
if (INSTANCE == null) {
INSTANCE = new Case_study_A();
}
return INSTANCE;
}
private static Case_study_A INSTANCE;
private Case_study_A() {
querySpecifications.add(Inv03.instance());
querySpecifications.add(X_inv03_eligAll.instance());
querySpecifications.add(X_inv03_hasAll.instance());
querySpecifications.add(Inv05.instance());
querySpecifications.add(X_inv05_inRange.instance());
querySpecifications.add(Inv06.instance());
querySpecifications.add(Inv07.instance());
querySpecifications.add(Inv08.instance());
querySpecifications.add(X_inv08_notEI.instance());
querySpecifications.add(X_inv08_noType.instance());
querySpecifications.add(X_inv08_inRange.instance());
querySpecifications.add(Inv10.instance());
querySpecifications.add(Inv11.instance());
querySpecifications.add(X_inv11_incOver100.instance());
querySpecifications.add(X_inv11_incNotOver100.instance());
querySpecifications.add(Inv12.instance());
querySpecifications.add(X_inv12_notNonRes.instance());
querySpecifications.add(X_inv12_notZZ.instance());
querySpecifications.add(Inv13.instance());
querySpecifications.add(X_inv13.instance());
querySpecifications.add(Inv15.instance());
querySpecifications.add(X_inv15.instance());
querySpecifications.add(Inv17.instance());
querySpecifications.add(Inv20.instance());
querySpecifications.add(Inv33.instance());
querySpecifications.add(Inv34.instance());
querySpecifications.add(Inv35.instance());
querySpecifications.add(Inv47.instance());
querySpecifications.add(X_inv47.instance());
querySpecifications.add(Inv48.instance());
querySpecifications.add(X_inv48_notDis.instance());
querySpecifications.add(X_inv48_Dis.instance());
querySpecifications.add(X_inv48_3.instance());
querySpecifications.add(Inv49.instance());
querySpecifications.add(X_inv49_1.instance());
querySpecifications.add(X_inv49_2.instance());
}
public Inv03 getInv03() {
return Inv03.instance();
}
public Inv03.Matcher getInv03(final ViatraQueryEngine engine) {
return Inv03.Matcher.on(engine);
}
public X_inv03_eligAll getX_inv03_eligAll() {
return X_inv03_eligAll.instance();
}
public X_inv03_eligAll.Matcher getX_inv03_eligAll(final ViatraQueryEngine engine) {
return X_inv03_eligAll.Matcher.on(engine);
}
public X_inv03_hasAll getX_inv03_hasAll() {
return X_inv03_hasAll.instance();
}
public X_inv03_hasAll.Matcher getX_inv03_hasAll(final ViatraQueryEngine engine) {
return X_inv03_hasAll.Matcher.on(engine);
}
public Inv05 getInv05() {
return Inv05.instance();
}
public Inv05.Matcher getInv05(final ViatraQueryEngine engine) {
return Inv05.Matcher.on(engine);
}
public X_inv05_inRange getX_inv05_inRange() {
return X_inv05_inRange.instance();
}
public X_inv05_inRange.Matcher getX_inv05_inRange(final ViatraQueryEngine engine) {
return X_inv05_inRange.Matcher.on(engine);
}
public Inv06 getInv06() {
return Inv06.instance();
}
public Inv06.Matcher getInv06(final ViatraQueryEngine engine) {
return Inv06.Matcher.on(engine);
}
public Inv07 getInv07() {
return Inv07.instance();
}
public Inv07.Matcher getInv07(final ViatraQueryEngine engine) {
return Inv07.Matcher.on(engine);
}
public Inv08 getInv08() {
return Inv08.instance();
}
public Inv08.Matcher getInv08(final ViatraQueryEngine engine) {
return Inv08.Matcher.on(engine);
}
public X_inv08_notEI getX_inv08_notEI() {
return X_inv08_notEI.instance();
}
public X_inv08_notEI.Matcher getX_inv08_notEI(final ViatraQueryEngine engine) {
return X_inv08_notEI.Matcher.on(engine);
}
public X_inv08_noType getX_inv08_noType() {
return X_inv08_noType.instance();
}
public X_inv08_noType.Matcher getX_inv08_noType(final ViatraQueryEngine engine) {
return X_inv08_noType.Matcher.on(engine);
}
public X_inv08_inRange getX_inv08_inRange() {
return X_inv08_inRange.instance();
}
public X_inv08_inRange.Matcher getX_inv08_inRange(final ViatraQueryEngine engine) {
return X_inv08_inRange.Matcher.on(engine);
}
public Inv10 getInv10() {
return Inv10.instance();
}
public Inv10.Matcher getInv10(final ViatraQueryEngine engine) {
return Inv10.Matcher.on(engine);
}
public Inv11 getInv11() {
return Inv11.instance();
}
public Inv11.Matcher getInv11(final ViatraQueryEngine engine) {
return Inv11.Matcher.on(engine);
}
public X_inv11_incOver100 getX_inv11_incOver100() {
return X_inv11_incOver100.instance();
}
public X_inv11_incOver100.Matcher getX_inv11_incOver100(final ViatraQueryEngine engine) {
return X_inv11_incOver100.Matcher.on(engine);
}
public X_inv11_incNotOver100 getX_inv11_incNotOver100() {
return X_inv11_incNotOver100.instance();
}
public X_inv11_incNotOver100.Matcher getX_inv11_incNotOver100(final ViatraQueryEngine engine) {
return X_inv11_incNotOver100.Matcher.on(engine);
}
public Inv12 getInv12() {
return Inv12.instance();
}
public Inv12.Matcher getInv12(final ViatraQueryEngine engine) {
return Inv12.Matcher.on(engine);
}
public X_inv12_notNonRes getX_inv12_notNonRes() {
return X_inv12_notNonRes.instance();
}
public X_inv12_notNonRes.Matcher getX_inv12_notNonRes(final ViatraQueryEngine engine) {
return X_inv12_notNonRes.Matcher.on(engine);
}
public X_inv12_notZZ getX_inv12_notZZ() {
return X_inv12_notZZ.instance();
}
public X_inv12_notZZ.Matcher getX_inv12_notZZ(final ViatraQueryEngine engine) {
return X_inv12_notZZ.Matcher.on(engine);
}
public Inv13 getInv13() {
return Inv13.instance();
}
public Inv13.Matcher getInv13(final ViatraQueryEngine engine) {
return Inv13.Matcher.on(engine);
}
public X_inv13 getX_inv13() {
return X_inv13.instance();
}
public X_inv13.Matcher getX_inv13(final ViatraQueryEngine engine) {
return X_inv13.Matcher.on(engine);
}
public Inv15 getInv15() {
return Inv15.instance();
}
public Inv15.Matcher getInv15(final ViatraQueryEngine engine) {
return Inv15.Matcher.on(engine);
}
public X_inv15 getX_inv15() {
return X_inv15.instance();
}
public X_inv15.Matcher getX_inv15(final ViatraQueryEngine engine) {
return X_inv15.Matcher.on(engine);
}
public Inv17 getInv17() {
return Inv17.instance();
}
public Inv17.Matcher getInv17(final ViatraQueryEngine engine) {
return Inv17.Matcher.on(engine);
}
public Inv20 getInv20() {
return Inv20.instance();
}
public Inv20.Matcher getInv20(final ViatraQueryEngine engine) {
return Inv20.Matcher.on(engine);
}
public Inv33 getInv33() {
return Inv33.instance();
}
public Inv33.Matcher getInv33(final ViatraQueryEngine engine) {
return Inv33.Matcher.on(engine);
}
public Inv34 getInv34() {
return Inv34.instance();
}
public Inv34.Matcher getInv34(final ViatraQueryEngine engine) {
return Inv34.Matcher.on(engine);
}
public Inv35 getInv35() {
return Inv35.instance();
}
public Inv35.Matcher getInv35(final ViatraQueryEngine engine) {
return Inv35.Matcher.on(engine);
}
public Inv47 getInv47() {
return Inv47.instance();
}
public Inv47.Matcher getInv47(final ViatraQueryEngine engine) {
return Inv47.Matcher.on(engine);
}
public X_inv47 getX_inv47() {
return X_inv47.instance();
}
public X_inv47.Matcher getX_inv47(final ViatraQueryEngine engine) {
return X_inv47.Matcher.on(engine);
}
public Inv48 getInv48() {
return Inv48.instance();
}
public Inv48.Matcher getInv48(final ViatraQueryEngine engine) {
return Inv48.Matcher.on(engine);
}
public X_inv48_notDis getX_inv48_notDis() {
return X_inv48_notDis.instance();
}
public X_inv48_notDis.Matcher getX_inv48_notDis(final ViatraQueryEngine engine) {
return X_inv48_notDis.Matcher.on(engine);
}
public X_inv48_Dis getX_inv48_Dis() {
return X_inv48_Dis.instance();
}
public X_inv48_Dis.Matcher getX_inv48_Dis(final ViatraQueryEngine engine) {
return X_inv48_Dis.Matcher.on(engine);
}
public X_inv48_3 getX_inv48_3() {
return X_inv48_3.instance();
}
public X_inv48_3.Matcher getX_inv48_3(final ViatraQueryEngine engine) {
return X_inv48_3.Matcher.on(engine);
}
public Inv49 getInv49() {
return Inv49.instance();
}
public Inv49.Matcher getInv49(final ViatraQueryEngine engine) {
return Inv49.Matcher.on(engine);
}
public X_inv49_1 getX_inv49_1() {
return X_inv49_1.instance();
}
public X_inv49_1.Matcher getX_inv49_1(final ViatraQueryEngine engine) {
return X_inv49_1.Matcher.on(engine);
}
public X_inv49_2 getX_inv49_2() {
return X_inv49_2.instance();
}
public X_inv49_2.Matcher getX_inv49_2(final ViatraQueryEngine engine) {
return X_inv49_2.Matcher.on(engine);
}
}