org.eclipse.viatra.query.runtime.matchers.psystem.basicenumerables
Classes
AbstractTransitiveClosure
BinaryReflexiveTransitiveClosure
BinaryTransitiveClosure
ConstantValue
PositivePatternCall
TypeConstraint