- All Implemented Interfaces:
- org.eclipse.viatra.query.runtime.api.IQuerySpecification<NonUnfoldedNotTransitionMatcher>, org.eclipse.viatra.query.runtime.matchers.psystem.queries.PQueryHeader
public final class NonUnfoldedNotTransitionQuerySpecification
extends org.eclipse.viatra.query.runtime.api.impl.BaseGeneratedEMFQuerySpecification<NonUnfoldedNotTransitionMatcher>
A pattern-specific query specification that can instantiate NonUnfoldedNotTransitionMatcher in a type-safe way.
- See Also:
NonUnfoldedNotTransitionMatcher
,
NonUnfoldedNotTransitionMatch