Package org.eclipse.viatra.query.runtime.localsearch

Class Summary

Class	Description
MatchingFrame	MatchingFrame represents the actual mappings of variables to constants.
MatchingKey	VariableType will be mapped to PatternVariable in the interpreted engine.
MatchingTable