Package org.eclipse.viatra.query.runtime.matchers.context.common
-
Class Summary Class Description BaseInputKeyWrapper<Wrapped> An input key that is identified by a single wrapped object and the class of the wrapper.JavaTransitiveInstancesKey Instance tuples are of form (x), where object x is an instance of the given Java class or its subclasses.