satellite.ecore
satellite.genmodel
../src/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/SatelliteQueries.vql
http://www.eclipse.org/emf/2002/Ecore
java:/Objects/org.eclipse.viatra.query.runtime.api.GenericPatternMatcher
java:/Objects/org.eclipse.viatra.query.runtime.api.impl.BaseMatcher
java:/Objects/org.eclipse.viatra.query.runtime.api.GenericPatternMatch
java:/Objects/org.eclipse.viatra.query.runtime.api.GenericQuerySpecification
java:/Objects/java.lang.Object
java:/Objects/org.eclipse.viatra.query.runtime.api.ViatraQueryEngine
java:/Objects/org.eclipse.viatra.query.runtime.matchers.tuple.Tuple
java:/Objects/org.eclipse.viatra.query.runtime.internal.apiimpl.QueryResultWrapper
java:/Objects/org.eclipse.viatra.query.runtime.api.ViatraQueryMatcher
java:/Objects/org.eclipse.viatra.query.runtime.api.IQuerySpecification
java:/Primitives
java:/Objects/java.util.function.Consumer
java:/Objects/java.util.Collection
java:/Objects/java.lang.String
java:/Objects/java.util.Set
java:/Objects/org.eclipse.viatra.query.runtime.matchers.backend.IMatcherCapability
java:/Objects/java.util.Optional
java:/Objects/java.util.List
java:/Objects/java.lang.Integer
java:/Objects/java.util.stream.Stream
java:/Objects/org.eclipse.viatra.query.runtime.matchers.backend.IQueryResultProvider
java:/Objects/org.eclipse.viatra.query.runtime.api.IPatternMatch
java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.queries.PQueryHeader
java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.queries.PQuery
java:/Objects/java.lang.Class
java:/Objects/org.eclipse.viatra.query.runtime.api.scope.QueryScope
java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.annotations.PAnnotation
java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.queries.PParameter
java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.queries.PVisibility
java:/Objects/java.util.function.BiConsumer
java:/Objects/java.lang.FunctionalInterface
java:/Objects/java.lang.annotation.Target
java:/Objects/java.lang.annotation.ElementType
java:/Objects/java.lang.annotation.Retention
java:/Objects/java.lang.annotation.RetentionPolicy
java:/Objects/java.lang.annotation.Documented
java:/Objects/java.lang.annotation.Annotation
java:/Objects/java.lang.Enum
java:/Objects/java.lang.Comparable
java:/Objects/java.io.Serializable
java:/Objects/java.lang.CloneNotSupportedException
java:/Objects/java.io.ObjectInputStream
java:/Objects/java.io.IOException
java:/Objects/java.lang.ClassNotFoundException
java:/Objects/java.io.ObjectStreamException
java:/Objects/java.lang.Exception
java:/Objects/java.lang.Throwable
java:/Objects/java.io.PrintWriter
java:/Objects/java.io.PrintStream
java:/Objects/java.lang.StackTraceElement
java:/Objects/java.io.ObjectOutputStream
java:/Objects/java.io.Writer
java:/Objects/java.io.OutputStream
java:/Objects/java.io.FileNotFoundException
java:/Objects/java.io.File
java:/Objects/java.nio.charset.Charset
java:/Objects/java.io.UnsupportedEncodingException
java:/Objects/java.lang.CharSequence
java:/Objects/java.util.Locale
java:/Objects/java.util.Formatter
java:/Objects/java.lang.Appendable
java:/Objects/java.io.Closeable
java:/Objects/java.io.Flushable
java:/Objects/java.lang.AutoCloseable
java:/Objects/java.security.SecureRandom
java:/Objects/java.net.URI
java:/Objects/java.io.FilenameFilter
java:/Objects/java.io.FileFilter
java:/Objects/java.nio.file.Path
java:/Objects/java.lang.Deprecated
java:/Objects/java.net.MalformedURLException
java:/Objects/java.net.URL
java:/Objects/sun.misc.Unsafe
java:/Objects/java.io.FileSystem
java:/Objects/java.util.Random
java:/Objects/java.util.regex.Pattern
java:/Objects/java.security.SecureRandomSpi
java:/Objects/java.security.Provider
java:/Objects/java.security.NoSuchAlgorithmException
java:/Objects/java.security.NoSuchProviderException
java:/Objects/java.security.MessageDigest
java:/Objects/sun.security.util.Debug
java:/Objects/java.util.Spliterator
java:/Objects/java.util.function.DoubleConsumer
java:/Objects/java.util.function.LongConsumer
java:/Objects/java.util.function.IntConsumer
java:/Objects/java.util.stream.DoubleStream
java:/Objects/java.util.stream.IntStream
java:/Objects/java.util.stream.LongStream
java:/Objects/java.util.concurrent.atomic.AtomicLong
java:/Objects/java.io.ObjectStreamField
java:/Objects/java.lang.Double
java:/Objects/java.lang.Long
java:/Objects/java.util.Comparator
java:/Objects/java.lang.Number
java:/Objects/java.lang.NumberFormatException
java:/Objects/java.lang.IllegalArgumentException
java:/Objects/java.lang.RuntimeException
java:/Objects/java.math.BigInteger
java:/Objects/java.lang.StringBuilder
java:/Objects/java.lang.AbstractStringBuilder
java:/Objects/java.lang.StringBuffer
java:/Objects/java.util.function.Function
java:/Objects/java.util.function.ToDoubleFunction
java:/Objects/java.util.function.ToIntFunction
java:/Objects/java.util.function.ToLongFunction
java:/Objects/java.util.stream.BaseStream
java:/Objects/java.util.function.DoublePredicate
java:/Objects/java.util.OptionalDouble
java:/Objects/java.util.function.Supplier
java:/Objects/java.util.function.ObjDoubleConsumer
java:/Objects/java.util.function.DoubleFunction
java:/Objects/java.util.function.DoubleSupplier
java:/Objects/java.util.function.DoubleUnaryOperator
java:/Objects/java.util.PrimitiveIterator
java:/Objects/java.util.function.DoubleToIntFunction
java:/Objects/java.util.function.DoubleToLongFunction
java:/Objects/java.util.function.DoubleBinaryOperator
java:/Objects/java.util.DoubleSummaryStatistics
java:/Objects/java.util.Iterator
java:/Objects/java.lang.Runnable
java:/Objects/java.util.function.IntPredicate
java:/Objects/java.util.function.ObjIntConsumer
java:/Objects/java.util.OptionalInt
java:/Objects/java.util.function.IntFunction
java:/Objects/java.util.function.IntSupplier
java:/Objects/java.util.function.IntUnaryOperator
java:/Objects/java.util.function.IntToDoubleFunction
java:/Objects/java.util.function.IntToLongFunction
java:/Objects/java.util.function.IntBinaryOperator
java:/Objects/java.util.IntSummaryStatistics
java:/Objects/java.util.function.LongPredicate
java:/Objects/java.util.function.ObjLongConsumer
java:/Objects/java.util.OptionalLong
java:/Objects/java.util.function.LongFunction
java:/Objects/java.util.function.LongSupplier
java:/Objects/java.util.function.LongUnaryOperator
java:/Objects/java.util.function.LongToDoubleFunction
java:/Objects/java.util.function.LongToIntFunction
java:/Objects/java.util.function.LongBinaryOperator
java:/Objects/java.util.LongSummaryStatistics
java:/Objects/java.lang.reflect.Field
java:/Objects/sun.reflect.CallerSensitive
java:/Objects/java.lang.reflect.AccessibleObject
java:/Objects/java.lang.reflect.Member
java:/Objects/sun.reflect.FieldAccessor
java:/Objects/java.util.Map
java:/Objects/java.lang.IllegalAccessException
java:/Objects/java.lang.reflect.AnnotatedType
java:/Objects/sun.reflect.generics.factory.GenericsFactory
java:/Objects/sun.reflect.generics.repository.FieldRepository
java:/Objects/java.lang.reflect.Type
java:/Objects/java.lang.reflect.AnnotatedElement
java:/Objects/java.lang.SecurityException
java:/Objects/java.security.Permission
java:/Objects/sun.reflect.ReflectionFactory
java:/Objects/java.security.Guard
java:/Objects/java.security.PermissionCollection
java:/Objects/java.util.Enumeration
java:/Objects/java.security.PrivilegedAction
java:/Objects/java.lang.reflect.Constructor
java:/Objects/java.lang.reflect.Method
java:/Objects/java.lang.invoke.MethodHandle
java:/Objects/sun.reflect.ConstructorAccessor
java:/Objects/java.lang.reflect.Executable
java:/Objects/sun.reflect.MethodAccessor
java:/Objects/sun.reflect.LangReflectAccess
java:/Objects/java.io.OptionalDataException
java:/Objects/sun.reflect.generics.repository.ConstructorRepository
java:/Objects/java.lang.reflect.TypeVariable
java:/Objects/java.lang.InstantiationException
java:/Objects/java.lang.reflect.InvocationTargetException
java:/Objects/sun.reflect.generics.repository.GenericDeclRepository
java:/Objects/sun.reflect.generics.tree.MethodTypeSignature
java:/Objects/sun.reflect.generics.repository.AbstractRepository
java:/Objects/sun.reflect.generics.tree.Signature
java:/Objects/sun.reflect.generics.visitor.Reifier
java:/Objects/sun.reflect.generics.tree.Tree
java:/Objects/sun.reflect.generics.visitor.TypeTreeVisitor
java:/Objects/sun.reflect.generics.tree.TypeArgument
java:/Objects/sun.reflect.generics.tree.ArrayTypeSignature
java:/Objects/sun.reflect.generics.tree.BooleanSignature
java:/Objects/sun.reflect.generics.tree.BottomSignature
java:/Objects/sun.reflect.generics.tree.ByteSignature
java:/Objects/sun.reflect.generics.tree.CharSignature
java:/Objects/sun.reflect.generics.tree.ClassTypeSignature
java:/Objects/sun.reflect.generics.tree.DoubleSignature
java:/Objects/sun.reflect.generics.tree.FloatSignature
java:/Objects/sun.reflect.generics.tree.FormalTypeParameter
java:/Objects/sun.reflect.generics.tree.IntSignature
java:/Objects/sun.reflect.generics.tree.LongSignature
java:/Objects/sun.reflect.generics.tree.ShortSignature
java:/Objects/sun.reflect.generics.tree.SimpleClassTypeSignature
java:/Objects/sun.reflect.generics.tree.TypeVariableSignature
java:/Objects/sun.reflect.generics.tree.VoidDescriptor
java:/Objects/sun.reflect.generics.tree.Wildcard
java:/Objects/sun.reflect.generics.tree.TypeTree
java:/Objects/sun.reflect.generics.tree.FieldTypeSignature
java:/Objects/sun.reflect.generics.tree.TypeSignature
java:/Objects/sun.reflect.generics.tree.BaseType
java:/Objects/sun.reflect.generics.tree.ReturnType
java:/Objects/sun.reflect.generics.visitor.Visitor
java:/Objects/sun.reflect.generics.tree.ClassSignature
java:/Objects/java.lang.reflect.GenericDeclaration
java:/Objects/java.lang.ReflectiveOperationException
java:/Objects/sun.reflect.generics.repository.MethodRepository
java:/Objects/java.lang.invoke.MethodType
java:/Objects/java.lang.invoke.LambdaForm
java:/Objects/java.lang.invoke.BoundMethodHandle
java:/Objects/java.lang.invoke.MemberName
java:/Objects/java.lang.invoke.MethodHandleImpl
java:/Objects/java.lang.ref.WeakReference
java:/Objects/java.lang.ref.ReferenceQueue
java:/Objects/java.util.concurrent.ConcurrentMap
java:/Objects/java.lang.invoke.MethodTypeForm
java:/Objects/java.lang.ClassLoader
java:/Objects/java.lang.TypeNotPresentException
java:/Objects/java.lang.invoke.Invokers
java:/Objects/java.lang.IndexOutOfBoundsException
java:/Objects/java.lang.invoke.Stable
java:/Objects/java.lang.ref.Reference
java:/Objects/java.lang.Thread
java:/Objects/java.lang.ThreadGroup
java:/Objects/java.lang.Boolean
java:/Objects/java.security.AccessControlContext
java:/Objects/sun.nio.ch.Interruptible
java:/Objects/java.lang.InterruptedException
java:/Objects/java.lang.RuntimePermission
java:/Objects/java.lang.ThreadLocal
java:/Objects/sun.misc.Contended
java:/Objects/java.security.ProtectionDomain
java:/Objects/java.security.DomainCombiner
java:/Objects/java.security.AccessControlException
java:/Objects/sun.misc.JavaSecurityAccess
java:/Objects/java.security.CodeSource
java:/Objects/java.security.Principal
java:/Objects/java.security.cert.Certificate
java:/Objects/java.security.CodeSigner
java:/Objects/java.security.cert.CertificateFactory
java:/Objects/java.net.SocketPermission
java:/Objects/java.security.cert.CertificateEncodingException
java:/Objects/java.security.PublicKey
java:/Objects/java.security.cert.CertificateException
java:/Objects/java.security.InvalidKeyException
java:/Objects/java.security.SignatureException
java:/Objects/java.security.Key
java:/Objects/java.security.GeneralSecurityException
java:/Objects/java.security.KeyException
java:/Objects/java.security.cert.CertPath
java:/Objects/java.security.Timestamp
java:/Objects/java.util.Date
java:/Objects/java.lang.Cloneable
java:/Objects/java.time.Instant
java:/Objects/sun.util.calendar.BaseCalendar
java:/Objects/java.time.temporal.Temporal
java:/Objects/java.time.temporal.TemporalAdjuster
java:/Objects/java.time.ZoneOffset
java:/Objects/java.time.OffsetDateTime
java:/Objects/java.time.ZoneId
java:/Objects/java.time.ZonedDateTime
java:/Objects/java.time.temporal.TemporalAccessor
java:/Objects/java.time.temporal.TemporalField
java:/Objects/java.time.temporal.TemporalUnit
java:/Objects/java.time.temporal.TemporalAmount
java:/Objects/java.time.Clock
java:/Objects/java.time.temporal.TemporalQuery
java:/Objects/java.time.temporal.ValueRange
java:/Objects/java.io.DataInput
java:/Objects/java.io.InvalidObjectException
java:/Objects/java.io.DataOutput
java:/Objects/java.time.zone.ZoneRules
java:/Objects/java.time.zone.ZoneOffsetTransition
java:/Objects/java.time.zone.ZoneOffsetTransitionRule
java:/Objects/java.time.LocalDateTime
java:/Objects/java.time.Duration
java:/Objects/java.time.Month
java:/Objects/java.time.DayOfWeek
java:/Objects/java.time.LocalTime
java:/Objects/java.time.format.TextStyle
java:/Objects/java.time.LocalDate
java:/Objects/java.time.OffsetTime
java:/Objects/java.time.format.DateTimeFormatter
java:/Objects/java.time.chrono.ChronoLocalDate
java:/Objects/java.time.chrono.IsoChronology
java:/Objects/java.time.chrono.Era
java:/Objects/java.time.Period
java:/Objects/java.time.chrono.ChronoLocalDateTime
java:/Objects/java.time.chrono.Chronology
java:/Objects/java.time.chrono.ChronoPeriod
java:/Objects/java.time.chrono.ChronoZonedDateTime
java:/Objects/java.time.temporal.ChronoField
java:/Objects/java.time.format.ResolverStyle
java:/Objects/java.time.chrono.AbstractChronology
java:/Objects/java.time.chrono.IsoEra
java:/Objects/java.util.concurrent.ConcurrentHashMap
java:/Objects/java.util.AbstractMap
java:/Objects/java.util.function.ToIntBiFunction
java:/Objects/java.util.function.ToLongBiFunction
java:/Objects/java.util.function.ToDoubleBiFunction
java:/Objects/java.util.function.BiFunction
java:/Objects/java.util.concurrent.atomic.AtomicReference
java:/Objects/java.lang.Void
java:/Objects/java.util.concurrent.CountedCompleter
java:/Objects/java.util.concurrent.locks.ReentrantLock
java:/Objects/java.util.function.BinaryOperator
java:/Objects/java.util.function.UnaryOperator
java:/Objects/java.util.concurrent.ForkJoinTask
java:/Objects/java.util.concurrent.Future
java:/Objects/java.util.concurrent.RunnableFuture
java:/Objects/java.util.concurrent.Callable
java:/Objects/java.util.concurrent.ExecutionException
java:/Objects/java.util.concurrent.TimeUnit
java:/Objects/java.util.concurrent.TimeoutException
java:/Objects/java.util.concurrent.ForkJoinPool
java:/Objects/java.util.concurrent.AbstractExecutorService
java:/Objects/java.util.concurrent.ForkJoinWorkerThread
java:/Objects/java.util.concurrent.ExecutorService
java:/Objects/java.util.concurrent.Executor
java:/Objects/java.util.concurrent.locks.Lock
java:/Objects/java.util.concurrent.locks.AbstractQueuedSynchronizer
java:/Objects/java.util.concurrent.locks.Condition
java:/Objects/java.util.concurrent.locks.AbstractOwnableSynchronizer
java:/Objects/java.lang.NullPointerException
java:/Objects/java.io.ObjectInput
java:/Objects/java.io.ObjectOutput
java:/Objects/java.text.Format
java:/Objects/java.text.FieldPosition
java:/Objects/java.text.ParseException
java:/Objects/java.text.ParsePosition
java:/Objects/java.time.format.DateTimeFormatterBuilder
java:/Objects/java.time.format.DecimalStyle
java:/Objects/java.time.format.DateTimeParseException
java:/Objects/java.time.format.FormatStyle
java:/Objects/java.time.format.DateTimeParseContext
java:/Objects/java.text.AttributedCharacterIterator
java:/Objects/java.text.CharacterIterator
java:/Objects/java.time.format.DateTimePrintContext
java:/Objects/java.lang.ref.SoftReference
java:/Objects/java.time.format.DateTimeTextProvider
java:/Objects/java.math.BigDecimal
java:/Objects/java.time.format.SignStyle
java:/Objects/java.lang.Character
java:/Objects/java.math.MathContext
java:/Objects/java.math.RoundingMode
java:/Objects/java.math.MutableBigInteger
java:/Objects/java.util.HashMap
java:/Objects/java.util.LinkedHashMap
java:/Objects/java.util.AbstractSet
java:/Objects/java.util.AbstractCollection
java:/Objects/java.time.DateTimeException
java:/Objects/java.time.format.Parsed
java:/Objects/java.util.ArrayList
java:/Objects/java.util.AbstractList
java:/Objects/java.util.RandomAccess
java:/Objects/java.util.ListIterator
java:/Objects/java.util.function.Predicate
java:/Objects/sun.util.calendar.AbstractCalendar
java:/Objects/sun.util.calendar.CalendarDate
java:/Objects/java.util.TimeZone
java:/Objects/sun.util.calendar.CalendarSystem
java:/Objects/sun.util.calendar.Era
java:/Objects/java.util.Properties
java:/Objects/sun.util.calendar.Gregorian
java:/Objects/java.util.Hashtable
java:/Objects/java.io.InputStream
java:/Objects/java.util.InvalidPropertiesFormatException
java:/Objects/sun.util.spi.XmlPropertiesProvider
java:/Objects/java.io.Reader
java:/Objects/java.io.BufferedWriter
java:/Objects/java.util.Dictionary
java:/Objects/java.io.StreamCorruptedException
java:/Objects/java.io.NotSerializableException
java:/Objects/java.lang.Readable
java:/Objects/java.nio.CharBuffer
java:/Objects/java.nio.Buffer
java:/Objects/java.nio.ByteOrder
java:/Objects/java.security.cert.CertificateFactorySpi
java:/Objects/java.security.cert.CRLException
java:/Objects/java.security.cert.CRL
java:/Objects/java.net.UnknownHostException
java:/Objects/java.net.InetAddress
java:/Objects/sun.net.spi.nameservice.NameService
java:/Objects/java.net.NetworkInterface
java:/Objects/java.net.InetAddressImpl
java:/Objects/java.net.SocketException
java:/Objects/java.net.InterfaceAddress
java:/Objects/java.net.Inet4Address
java:/Objects/javax.security.auth.Subject
java:/Objects/javax.security.auth.AuthPermission
java:/Objects/java.util.LinkedList
java:/Objects/java.security.PrivilegedExceptionAction
java:/Objects/java.security.PrivilegedActionException
java:/Objects/java.security.BasicPermission
java:/Objects/java.util.AbstractSequentialList
java:/Objects/java.util.Deque
java:/Objects/java.util.Queue
java:/Objects/java.util.concurrent.atomic.AtomicInteger
java:/Objects/java.lang.ClassFormatError
java:/Objects/java.nio.ByteBuffer
java:/Objects/java.lang.Package
java:/Objects/sun.misc.URLClassPath
java:/Objects/java.lang.AssertionStatusDirectives
java:/Objects/java.util.Vector
java:/Objects/java.util.Stack
java:/Objects/java.lang.LinkageError
java:/Objects/java.lang.Error
java:/Objects/java.nio.DoubleBuffer
java:/Objects/java.nio.FloatBuffer
java:/Objects/java.nio.IntBuffer
java:/Objects/java.nio.LongBuffer
java:/Objects/java.nio.ShortBuffer
java:/Objects/java.util.jar.Manifest
java:/Objects/java.io.FilterInputStream
java:/Objects/java.util.jar.JarVerifier
java:/Objects/java.util.jar.Attributes
java:/Objects/java.util.jar.JarEntry
java:/Objects/sun.security.util.ManifestEntryVerifier
java:/Objects/java.util.jar.JarFile
java:/Objects/java.util.zip.ZipEntry
java:/Objects/java.io.ByteArrayOutputStream
java:/Objects/sun.security.util.ManifestDigester
java:/Objects/sun.security.util.SignatureFileVerifier
java:/Objects/java.util.jar.JarException
java:/Objects/java.util.zip.ZipException
java:/Objects/java.util.zip.ZipFile
java:/Objects/java.util.zip.ZipConstants
java:/Objects/java.util.zip.InflaterInputStream
java:/Objects/java.util.zip.Inflater
java:/Objects/java.util.zip.ZipCoder
java:/Objects/java.util.zip.DataFormatException
java:/Objects/java.util.zip.ZStreamRef
java:/Objects/java.nio.charset.CharsetDecoder
java:/Objects/java.nio.charset.CharsetEncoder
java:/Objects/java.nio.charset.CharacterCodingException
java:/Objects/java.nio.charset.CoderResult
java:/Objects/java.nio.charset.CodingErrorAction
java:/Objects/java.nio.file.attribute.FileTime
java:/Objects/sun.security.pkcs.SignerInfo
java:/Objects/sun.security.pkcs.PKCS7
java:/Objects/sun.security.util.DisabledAlgorithmConstraints
java:/Objects/sun.security.util.DerEncoder
java:/Objects/sun.security.util.DerInputStream
java:/Objects/sun.security.pkcs.ParsingException
java:/Objects/sun.security.x509.X500Name
java:/Objects/sun.security.x509.AlgorithmId
java:/Objects/sun.security.pkcs.PKCS9Attributes
java:/Objects/sun.security.util.DerOutputStream
java:/Objects/java.security.cert.X509Certificate
java:/Objects/sun.security.timestamp.TimestampToken
java:/Objects/java.security.CryptoPrimitive
java:/Objects/sun.security.util.DerInputBuffer
java:/Objects/sun.security.util.DerValue
java:/Objects/sun.security.util.ObjectIdentifier
java:/Objects/sun.security.util.BitArray
java:/Objects/java.io.ByteArrayInputStream
java:/Objects/java.lang.ArrayIndexOutOfBoundsException
java:/Objects/sun.security.x509.GeneralNameInterface
java:/Objects/sun.security.x509.RDN
java:/Objects/sun.security.x509.AVA
java:/Objects/javax.security.auth.x500.X500Principal
java:/Objects/java.lang.UnsupportedOperationException
java:/Objects/java.lang.Byte
java:/Objects/java.io.NotActiveException
java:/Objects/java.security.AlgorithmParameters
java:/Objects/java.security.AlgorithmParametersSpi
java:/Objects/java.security.spec.AlgorithmParameterSpec
java:/Objects/java.security.spec.InvalidParameterSpecException
java:/Objects/sun.security.pkcs.PKCS9Attribute
java:/Objects/sun.security.util.ByteArrayLexOrder
java:/Objects/sun.security.util.ByteArrayTagOrder
java:/Objects/java.security.cert.X509Extension
java:/Objects/java.security.cert.CertificateExpiredException
java:/Objects/java.security.cert.CertificateNotYetValidException
java:/Objects/java.security.cert.CertificateParsingException
java:/Objects/sun.security.pkcs.ContentInfo
java:/Objects/java.security.cert.X509CRL
java:/Objects/sun.security.timestamp.Timestamper
java:/Objects/java.security.cert.X509CRLEntry
java:/Objects/java.security.cert.CRLReason
java:/Objects/sun.security.timestamp.TSRequest
java:/Objects/sun.security.timestamp.TSResponse
java:/Objects/sun.security.util.AbstractAlgorithmConstraints
java:/Objects/sun.security.util.ConstraintsParameters
java:/Objects/java.security.cert.CertPathValidatorException
java:/Objects/java.text.SimpleDateFormat
java:/Objects/sun.security.util.AlgorithmDecomposer
java:/Objects/java.security.AlgorithmConstraints
java:/Objects/java.text.DateFormat
java:/Objects/java.text.DateFormatSymbols
java:/Objects/java.text.CalendarBuilder
java:/Objects/java.text.NumberFormat
java:/Objects/sun.util.locale.provider.LocaleProviderAdapter
java:/Objects/java.util.Calendar
java:/Objects/java.util.spi.LocaleServiceProvider
java:/Objects/java.text.spi.BreakIteratorProvider
java:/Objects/java.util.spi.CalendarDataProvider
java:/Objects/java.util.spi.CalendarNameProvider
java:/Objects/sun.util.spi.CalendarProvider
java:/Objects/java.text.spi.CollatorProvider
java:/Objects/java.util.spi.CurrencyNameProvider
java:/Objects/java.text.spi.DateFormatProvider
java:/Objects/java.text.spi.DateFormatSymbolsProvider
java:/Objects/java.text.spi.DecimalFormatSymbolsProvider
java:/Objects/java.util.spi.LocaleNameProvider
java:/Objects/sun.util.locale.provider.LocaleResources
java:/Objects/java.text.spi.NumberFormatProvider
java:/Objects/java.util.spi.TimeZoneNameProvider
java:/Objects/java.text.BreakIterator
java:/Objects/java.text.Collator
java:/Objects/java.text.CollationKey
java:/Objects/java.text.DecimalFormatSymbols
java:/Objects/java.util.Currency
java:/Objects/sun.util.locale.provider.LocaleServiceProviderPool
java:/Objects/java.io.DataInputStream
java:/Objects/java.util.HashSet
java:/Objects/sun.util.locale.provider.ResourceBundleBasedAdapter
java:/Objects/java.util.ResourceBundle
java:/Objects/sun.util.resources.LocaleData
java:/Objects/sun.util.locale.LocaleObjectCache
java:/Objects/sun.util.locale.BaseLocale
java:/Objects/java.util.spi.ResourceBundleControlProvider
java:/Objects/sun.util.resources.OpenListResourceBundle
java:/Objects/sun.util.resources.TimeZoneNamesBundle
java:/Objects/sun.util.resources.ParallelListResourceBundle
java:/Objects/java.util.concurrent.atomic.AtomicMarkableReference
java:/Objects/java.io.DataOutputStream
java:/Objects/java.io.FilterOutputStream
java:/Objects/sun.misc.Resource
java:/Objects/java.net.URLStreamHandler
java:/Objects/sun.misc.JarIndex
java:/Objects/sun.misc.MetaIndex
java:/Objects/sun.misc.JavaUtilZipFileAccess
java:/Objects/java.net.URLStreamHandlerFactory
java:/Objects/java.net.URLConnection
java:/Objects/java.net.Proxy
java:/Objects/java.net.UnknownServiceException
java:/Objects/java.net.ContentHandler
java:/Objects/java.net.FileNameMap
java:/Objects/java.net.ContentHandlerFactory
java:/Objects/sun.net.www.MessageHeader
java:/Objects/java.net.SocketAddress
java:/Objects/java.lang.invoke.ForceInline
java:/Objects/java.lang.invoke.DontInline
java:/Objects/java.lang.invoke.WrongMethodTypeException
java:/Objects/sun.invoke.util.Wrapper
java:/Objects/java.lang.invoke.LambdaFormEditor
java:/Objects/java.lang.ClassCastException
java:/Objects/java.lang.invoke.LambdaFormBuffer
java:/Objects/jdk.internal.org.objectweb.asm.MethodVisitor
java:/Objects/java.lang.invoke.MethodHandles
java:/Objects/jdk.internal.org.objectweb.asm.AnnotationVisitor
java:/Objects/jdk.internal.org.objectweb.asm.Attribute
java:/Objects/jdk.internal.org.objectweb.asm.TypePath
java:/Objects/jdk.internal.org.objectweb.asm.Handle
java:/Objects/jdk.internal.org.objectweb.asm.Label
java:/Objects/jdk.internal.org.objectweb.asm.ClassWriter
java:/Objects/jdk.internal.org.objectweb.asm.ByteVector
java:/Objects/jdk.internal.org.objectweb.asm.ClassReader
java:/Objects/jdk.internal.org.objectweb.asm.ClassVisitor
java:/Objects/jdk.internal.org.objectweb.asm.Item
java:/Objects/jdk.internal.org.objectweb.asm.FieldVisitor
java:/Objects/jdk.internal.org.objectweb.asm.AnnotationWriter
java:/Objects/jdk.internal.org.objectweb.asm.FieldWriter
java:/Objects/jdk.internal.org.objectweb.asm.MethodWriter
java:/Objects/jdk.internal.org.objectweb.asm.Frame
java:/Objects/jdk.internal.org.objectweb.asm.Handler
java:/Objects/jdk.internal.org.objectweb.asm.Type
java:/Objects/jdk.internal.org.objectweb.asm.Context
java:/Objects/jdk.internal.org.objectweb.asm.Edge
java:/Objects/java.lang.NoSuchMethodException
java:/Objects/java.lang.NoSuchFieldException
java:/Objects/java.lang.invoke.DirectMethodHandle
java:/Objects/java.lang.invoke.MethodHandleInfo
java:/Objects/java.lang.ClassValue
java:/Objects/java.util.WeakHashMap
java:/Objects/java.lang.invoke.DelegatingMethodHandle
java:/Objects/sun.invoke.empty.Empty
java:/Objects/java.lang.reflect.Parameter
java:/Objects/java.lang.reflect.ParameterizedType
java:/Objects/java.lang.reflect.WildcardType
java:/Objects/java.util.regex.Matcher
java:/Objects/java.util.regex.UnicodeProp
java:/Objects/java.util.regex.PatternSyntaxException
java:/Objects/java.util.regex.MatchResult
java:/Objects/java.security.MessageDigestSpi
java:/Objects/java.security.DigestException
java:/Objects/java.net.URISyntaxException
java:/Objects/java.lang.Iterable
java:/Objects/java.nio.file.Watchable
java:/Objects/java.nio.file.FileSystem
java:/Objects/java.nio.file.WatchService
java:/Objects/java.nio.file.WatchEvent
java:/Objects/java.nio.file.WatchKey
java:/Objects/java.nio.file.LinkOption
java:/Objects/java.nio.file.FileStore
java:/Objects/java.nio.file.PathMatcher
java:/Objects/java.nio.file.attribute.UserPrincipalLookupService
java:/Objects/java.nio.file.spi.FileSystemProvider
java:/Objects/java.nio.file.attribute.FileStoreAttributeView
java:/Objects/java.nio.file.attribute.FileAttributeView
java:/Objects/java.nio.file.attribute.AttributeView
java:/Objects/java.nio.file.attribute.GroupPrincipal
java:/Objects/java.nio.file.attribute.UserPrincipal
java:/Objects/java.nio.file.AccessMode
java:/Objects/java.nio.file.CopyOption
java:/Objects/java.nio.file.attribute.FileAttribute
java:/Objects/java.nio.file.OpenOption
java:/Objects/java.nio.channels.AsynchronousFileChannel
java:/Objects/java.nio.channels.SeekableByteChannel
java:/Objects/java.nio.file.DirectoryStream
java:/Objects/java.nio.channels.FileChannel
java:/Objects/java.nio.file.attribute.BasicFileAttributes
java:/Objects/java.nio.channels.AsynchronousChannel
java:/Objects/java.nio.channels.FileLock
java:/Objects/java.nio.channels.CompletionHandler
java:/Objects/java.nio.channels.Channel
java:/Objects/java.nio.channels.ByteChannel
java:/Objects/java.nio.channels.ReadableByteChannel
java:/Objects/java.nio.channels.WritableByteChannel
java:/Objects/java.nio.channels.spi.AbstractInterruptibleChannel
java:/Objects/java.nio.channels.GatheringByteChannel
java:/Objects/java.nio.channels.ScatteringByteChannel
java:/Objects/java.nio.MappedByteBuffer
java:/Objects/java.nio.channels.InterruptibleChannel
java:/Objects/java.nio.channels.AsynchronousCloseException
java:/Objects/java.nio.channels.ClosedChannelException
java:/Objects/java.io.FileDescriptor
java:/Objects/java.io.SyncFailedException
java:/Objects/java.lang.SecurityManager
java:/Objects/java.net.UrlDeserializedState
java:/Objects/java.nio.charset.spi.CharsetProvider
java:/Objects/java.util.SortedMap
java:/Objects/sun.util.locale.InternalLocaleBuilder
java:/Objects/sun.util.locale.LocaleExtensions
java:/Objects/java.text.MessageFormat
java:/Objects/java.util.MissingResourceException
java:/Objects/sun.util.locale.LocaleSyntaxException
java:/Objects/sun.util.locale.LanguageTag
java:/Objects/sun.util.locale.ParseStatus
java:/Objects/sun.util.locale.StringTokenIterator
java:/Objects/sun.util.locale.Extension
java:/Objects/java.io.OutputStreamWriter
java:/Objects/sun.nio.cs.StreamEncoder
java:/Objects/java.io.ObjectStreamConstants
java:/Objects/java.io.ObjectStreamClass
java:/Objects/java.io.Externalizable
java:/Objects/java.io.SerialCallbackContext
java:/Objects/java.io.SerializablePermission
java:/Objects/java.io.InvalidClassException
java:/Objects/sun.misc.ObjectInputFilter
java:/Objects/java.io.ObjectInputValidation
java:/Objects/sun.util.logging.PlatformLogger
java:/Objects/sun.misc.ObjectStreamClassValidator
java:/Objects/org.eclipse.viatra.query.runtime.matchers.context.IInputKey
java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.queries.PParameterDirection
java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.PTraceable
java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.queries.PDisjunction
java:/Objects/org.eclipse.viatra.query.runtime.matchers.backend.QueryEvaluationHint
java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.queries.PProblem
java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.TypeJudgement
java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.PBody
java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.PVariable
java:/Objects/org.eclipse.viatra.query.runtime.matchers.context.IQueryMetaContext
java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.PConstraint
java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.basicdeferred.ExportedParameter
java:/Objects/org.eclipse.viatra.query.runtime.matchers.context.InputKeyImplication
java:/Objects/org.eclipse.viatra.query.runtime.matchers.context.IPosetComparator
java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.VariableDeferredPConstraint
java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.DeferredPConstraint
java:/Objects/org.eclipse.viatra.query.runtime.matchers.planning.SubPlan
java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.BasePConstraint
java:/Objects/org.eclipse.viatra.query.runtime.matchers.planning.operations.POperation
java:/Objects/org.eclipse.viatra.query.runtime.matchers.backend.QueryHintOption
java:/Objects/org.eclipse.viatra.query.runtime.matchers.backend.IQueryBackendFactory
java:/Objects/org.eclipse.viatra.query.runtime.matchers.context.IQueryBackendContext
java:/Objects/org.eclipse.viatra.query.runtime.matchers.backend.IQueryBackend
java:/Objects/org.eclipse.viatra.query.runtime.matchers.backend.IQueryBackendHintProvider
java:/Objects/org.apache.log4j.Logger
java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.analysis.QueryAnalyzer
java:/Objects/org.eclipse.viatra.query.runtime.matchers.context.IQueryCacheContext
java:/Objects/org.eclipse.viatra.query.runtime.matchers.context.IQueryResultProviderAccess
java:/Objects/org.eclipse.viatra.query.runtime.matchers.context.IQueryRuntimeContext
java:/Objects/org.apache.log4j.Category
java:/Objects/org.apache.log4j.spi.LoggerFactory
java:/Objects/org.apache.log4j.spi.AppenderAttachable
java:/Objects/org.apache.log4j.Appender
java:/Objects/org.apache.log4j.spi.LoggingEvent
java:/Objects/org.apache.log4j.Priority
java:/Objects/org.apache.log4j.spi.LoggerRepository
java:/Objects/org.apache.log4j.Level
java:/Objects/org.apache.log4j.helpers.AppenderAttachableImpl
java:/Objects/org.apache.log4j.spi.Filter
java:/Objects/org.apache.log4j.spi.ErrorHandler
java:/Objects/org.apache.log4j.Layout
java:/Objects/org.apache.log4j.spi.OptionHandler
java:/Objects/org.apache.log4j.spi.ThrowableInformation
java:/Objects/org.apache.log4j.spi.LocationInfo
java:/Objects/java.io.StringWriter
java:/Objects/org.apache.log4j.spi.HierarchyEventListener
java:/Objects/org.eclipse.viatra.query.runtime.matchers.context.IQueryRuntimeContextListener
java:/Objects/org.eclipse.viatra.query.runtime.matchers.tuple.ITuple
java:/Objects/org.eclipse.viatra.query.runtime.matchers.tuple.TupleMask
java:/Objects/org.eclipse.viatra.query.runtime.matchers.context.IndexingService
java:/Objects/org.eclipse.viatra.query.runtime.matchers.util.Accuracy
java:/Objects/org.eclipse.viatra.query.runtime.matchers.tuple.IModifiableTuple
java:/Objects/org.eclipse.viatra.query.runtime.matchers.planning.QueryProcessingException
java:/Objects/org.eclipse.viatra.query.runtime.matchers.ViatraQueryRuntimeException
java:/Objects/sun.reflect.annotation.AnnotationType
java:/Objects/sun.reflect.ConstantPool
java:/Objects/sun.reflect.generics.repository.ClassRepository
java:/Objects/org.eclipse.viatra.query.runtime.internal.apiimpl.EngineContextFactory
java:/Objects/org.eclipse.viatra.query.runtime.api.scope.IIndexingErrorListener
java:/Objects/org.eclipse.viatra.query.runtime.api.scope.IEngineContext
java:/Objects/org.eclipse.viatra.query.runtime.api.scope.IBaseIndex
java:/Objects/org.eclipse.viatra.query.runtime.api.scope.ViatraBaseIndexChangeListener
java:/Objects/org.eclipse.viatra.query.runtime.api.scope.IInstanceObserver
java:/Objects/java.util.stream.Collector
java:/Objects/java.lang.SafeVarargs
java:/Objects/org.eclipse.viatra.query.runtime.matchers.backend.IUpdateable
java:/Objects/org.eclipse.viatra.query.runtime.api.impl.BasePatternMatch
java:/Objects/org.eclipse.viatra.query.runtime.api.impl.BaseQuerySpecification
java:/Objects/java.lang.ExceptionInInitializerError
java:/Objects/org.eclipse.viatra.query.runtime.exception.ViatraQueryException
java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.queries.QueryInitializationException
java:/Objects/org.eclipse.viatra.query.runtime.api.ViatraQueryEngineOptions
java:/Objects/org.eclipse.viatra.query.runtime.matchers.tuple.AbstractTuple
java:/Objects/org.eclipse.viatra.query.runtime.api.impl.BaseGeneratedEMFQuerySpecificationWithGenericMatcher
java:/Objects/org.eclipse.viatra.query.runtime.api.impl.BaseGeneratedPatternGroup
java:/Objects/org.eclipse.viatra.query.runtime.api.impl.BaseQueryGroup
java:/Objects/org.eclipse.viatra.query.runtime.api.IQueryGroup
java:/Objects/org.eclipse.viatra.query.runtime.api.AdvancedViatraQueryEngine
java:/Objects/org.eclipse.viatra.query.runtime.api.ViatraQueryEngineLifecycleListener
java:/Objects/org.eclipse.viatra.query.runtime.api.IMatchUpdateListener
java:/Objects/org.eclipse.viatra.query.runtime.api.ViatraQueryModelUpdateListener
java:/Objects/org.eclipse.viatra.query.runtime.api.impl.BaseGeneratedEMFPQuery
java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.queries.BasePQuery
java:/Objects/org.eclipse.emf.ecore.EClassifier
java:/Objects/org.eclipse.emf.ecore.EEnumLiteral
java:/Objects/org.eclipse.emf.ecore.EStructuralFeature
java:/Objects/org.eclipse.emf.ecore.ENamedElement
java:/Objects/org.eclipse.emf.ecore.EPackage
java:/Objects/org.eclipse.emf.common.util.EList
java:/Objects/org.eclipse.emf.ecore.ETypeParameter
java:/Objects/org.eclipse.emf.ecore.EModelElement
java:/Objects/org.eclipse.emf.ecore.EObject
java:/Objects/org.eclipse.emf.ecore.EAnnotation
java:/Objects/org.eclipse.emf.common.notify.Notifier
java:/Objects/org.eclipse.emf.common.util.TreeIterator
java:/Objects/org.eclipse.emf.ecore.EClass
java:/Objects/org.eclipse.emf.ecore.EReference
java:/Objects/org.eclipse.emf.ecore.EOperation
java:/Objects/org.eclipse.emf.ecore.resource.Resource
java:/Objects/org.eclipse.emf.common.notify.Adapter
java:/Objects/org.eclipse.emf.common.notify.Notification
java:/Objects/org.eclipse.emf.ecore.EAttribute
java:/Objects/org.eclipse.emf.ecore.EGenericType
java:/Objects/org.eclipse.emf.ecore.EDataType
java:/Objects/org.eclipse.emf.ecore.InternalEObject
java:/Objects/org.eclipse.emf.common.CommonPlugin
java:/Objects/org.eclipse.emf.common.notify.NotificationChain
java:/Objects/org.eclipse.emf.common.util.URI
java:/Objects/org.eclipse.emf.common.util.Pool
java:/Objects/org.eclipse.emf.common.util.SegmentSequence
java:/Objects/org.eclipse.emf.common.util.CommonUtil
java:/Objects/org.eclipse.emf.common.util.WeakInterningHashSet
java:/Objects/java.util.concurrent.locks.ReentrantReadWriteLock
java:/Objects/org.eclipse.emf.common.util.InterningSet
java:/Objects/java.util.concurrent.locks.ReadWriteLock
java:/Objects/java.lang.IllegalMonitorStateException
java:/Objects/org.eclipse.emf.common.EMFPlugin
java:/Objects/org.osgi.framework.BundleActivator
java:/Objects/org.eclipse.emf.common.util.ResourceLocator
java:/Objects/org.eclipse.emf.common.util.DelegatingResourceLocator
java:/Objects/org.eclipse.emf.common.util.Logger
java:/Objects/org.eclipse.core.runtime.Plugin
java:/Objects/org.eclipse.core.runtime.IPluginDescriptor
java:/Objects/org.osgi.framework.Bundle
java:/Objects/org.eclipse.core.runtime.ILog
java:/Objects/org.osgi.framework.BundleContext
java:/Objects/org.eclipse.core.runtime.IPath
java:/Objects/org.eclipse.osgi.service.debug.DebugOptions
java:/Objects/org.eclipse.core.runtime.Preferences
java:/Objects/java.lang.IllegalStateException
java:/Objects/org.eclipse.core.runtime.CoreException
java:/Objects/org.osgi.util.tracker.ServiceTracker
java:/Objects/org.eclipse.osgi.service.debug.DebugTrace
java:/Objects/java.util.EventListener
java:/Objects/java.util.EventObject
java:/Objects/org.eclipse.core.runtime.IStatus
java:/Objects/org.eclipse.core.runtime.ListenerList
java:/Objects/org.osgi.util.tracker.ServiceTrackerCustomizer
java:/Objects/org.osgi.framework.AllServiceListener
java:/Objects/org.osgi.util.tracker.AbstractTracked
java:/Objects/org.osgi.framework.ServiceReference
java:/Objects/org.osgi.framework.ServiceEvent
java:/Objects/org.osgi.framework.ServiceListener
java:/Objects/org.osgi.framework.Filter
java:/Objects/org.osgi.framework.InvalidSyntaxException
java:/Objects/org.eclipse.core.runtime.IExtension
java:/Objects/org.eclipse.core.runtime.IExtensionPoint
java:/Objects/org.eclipse.core.runtime.IPluginPrerequisite
java:/Objects/org.eclipse.core.runtime.ILibrary
java:/Objects/org.eclipse.core.runtime.PluginVersionIdentifier
java:/Objects/org.eclipse.core.runtime.InvalidRegistryObjectException
java:/Objects/org.eclipse.core.runtime.IConfigurationElement
java:/Objects/org.eclipse.core.runtime.IContributor
java:/Objects/org.osgi.framework.Version
java:/Objects/org.osgi.framework.BundleException
java:/Objects/org.eclipse.core.runtime.ILogListener
java:/Objects/org.osgi.framework.BundleReference
java:/Objects/org.osgi.framework.BundleListener
java:/Objects/org.osgi.framework.FrameworkListener
java:/Objects/org.osgi.framework.ServiceObjects
java:/Objects/org.osgi.framework.ServiceRegistration
java:/Objects/org.osgi.framework.ServiceFactory
java:/Objects/org.osgi.framework.BundleEvent
java:/Objects/org.osgi.framework.FrameworkEvent
java:/Objects/org.eclipse.emf.ecore.ETypedElement
java:/Objects/org.eclipse.emf.ecore.EParameter
java:/Objects/org.eclipse.emf.ecore.resource.ResourceSet
java:/Objects/org.eclipse.emf.common.notify.AdapterFactory
java:/Objects/org.eclipse.emf.ecore.resource.URIConverter
java:/Objects/java.io.InputStreamReader
java:/Objects/org.eclipse.emf.ecore.resource.ContentHandler
java:/Objects/org.eclipse.emf.ecore.resource.URIHandler
java:/Objects/sun.nio.cs.StreamDecoder
java:/Objects/java.io.FileInputStream
java:/Objects/org.eclipse.emf.common.util.EMap
java:/Objects/org.eclipse.emf.ecore.EFactory
java:/Objects/org.eclipse.emf.common.util.Enumerator
java:/Objects/org.eclipse.emf.ecore.EEnum
java:/Objects/org.eclipse.emf.ecore.util.FeatureMap
java:/Objects/org.eclipse.emf.ecore.util.InternalEList
java:/Objects/org.eclipse.emf.ecore.util.EContentsEList
java:/Objects/org.eclipse.emf.ecore.util.AbstractSequentialInternalEList
java:/Objects/hu.bme.mit.inf.dslreasoner.domains.satellite.CommunicatingElement
java:/Objects/hu.bme.mit.inf.dslreasoner.domains.satellite.CommSubsystem
java:/Objects/hu.bme.mit.inf.dslreasoner.domains.satellite.DirectedCommunicationLink
java:/Objects/hu.bme.mit.inf.dslreasoner.domains.satellite.TransceiverBand
java:/Objects/hu.bme.mit.inf.dslreasoner.domains.satellite.AntennaGain
java:/Objects/java.lang.Override
java:/Objects/java.lang.SuppressWarnings
java:/Objects/javax.annotation.Generated
java:/Objects/org.eclipse.viatra.query.runtime.api.impl.BaseGeneratedEMFQuerySpecification
java:/Objects/hu.bme.mit.inf.dslreasoner.domains.satellite.Spacecraft
java:/Objects/hu.bme.mit.inf.dslreasoner.domains.satellite.Payload
java:/Objects/hu.bme.mit.inf.dslreasoner.domains.satellite.InterferometryMission
java:/Objects/hu.bme.mit.inf.dslreasoner.domains.satellite.ConstellationMission
java:/Objects/hu.bme.mit.inf.dslreasoner.domains.satellite.GroundStationNetwork
java:/Objects/hu.bme.mit.inf.dslreasoner.domains.satellite.SmallSat
java:/Objects/hu.bme.mit.inf.dslreasoner.domains.satellite.CubeSat3U
../src/hu/bme/mit/inf/dslreasoner/domains/satellite/runner/SatelliteGeneratorMain.xtend
java:/Objects/org.eclipse.xtext.xbase.lib.ArrayLiterals
java:/Objects/com.google.common.annotations.GwtCompatible
java:/Objects/org.eclipse.xtext.xbase.lib.Pure
java:/Objects/org.eclipse.xtext.xbase.lib.Inline
java:/Objects/com.google.common.annotations.Beta
java:/Objects/org.eclipse.xtext.xbase.lib.CollectionLiterals
java:/Objects/org.eclipse.xtext.xbase.lib.Pair
java:/Objects/java.util.LinkedHashSet
java:/Objects/java.util.TreeMap
java:/Objects/java.util.TreeSet
java:/Objects/java.util.NavigableMap
java:/Objects/java.util.NavigableSet
java:/Objects/java.util.SortedSet
java:/Objects/org.eclipse.xtext.xbase.lib.InputOutput
java:/Objects/org.eclipse.xtext.xbase.lib.ArrayExtensions
java:/Objects/com.google.common.annotations.GwtIncompatible
java:/Objects/org.eclipse.xtext.xbase.lib.BigDecimalExtensions
java:/Objects/org.eclipse.xtext.xbase.lib.BigIntegerExtensions
java:/Objects/org.eclipse.xtext.xbase.lib.BooleanExtensions
java:/Objects/com.google.common.primitives.Booleans
java:/Objects/org.eclipse.xtext.xbase.lib.ByteExtensions
java:/Objects/java.lang.Math
java:/Objects/org.eclipse.xtext.xbase.lib.CharacterExtensions
java:/Objects/org.eclipse.xtext.xbase.lib.CollectionExtensions
java:/Objects/com.google.common.collect.Iterables
java:/Objects/com.google.common.collect.ImmutableList
java:/Objects/com.google.common.collect.ImmutableSet
java:/Objects/com.google.common.collect.ImmutableSortedSet
java:/Objects/com.google.common.collect.ImmutableMap
java:/Objects/com.google.common.collect.ImmutableSortedMap
java:/Objects/java.util.Collections
java:/Objects/com.google.common.collect.FluentIterable
java:/Objects/com.google.common.base.Predicate
java:/Objects/com.google.common.base.Function
java:/Objects/com.google.common.base.Optional
java:/Objects/com.google.common.collect.ImmutableCollection
java:/Objects/com.google.common.collect.ImmutableListMultimap
java:/Objects/com.google.common.base.Joiner
java:/Objects/com.google.common.collect.ImmutableMultiset
java:/Objects/com.google.common.collect.ImmutableMultimap
java:/Objects/com.google.common.collect.ListMultimap
java:/Objects/com.google.common.collect.Multimap
java:/Objects/com.google.common.collect.AbstractMultimap
java:/Objects/com.google.common.collect.UnmodifiableIterator
java:/Objects/com.google.common.collect.Serialization
java:/Objects/com.google.common.collect.ImmutableSetMultimap
java:/Objects/com.google.common.collect.Multiset
java:/Objects/com.google.common.collect.Multimaps
java:/Objects/com.google.common.collect.Maps
java:/Objects/com.google.common.collect.AbstractListMultimap
java:/Objects/com.google.common.base.Supplier
java:/Objects/com.google.common.collect.AbstractMapBasedMultimap
java:/Objects/com.google.common.collect.AbstractSetMultimap
java:/Objects/com.google.common.collect.AbstractSortedSetMultimap
java:/Objects/com.google.common.collect.AbstractMultiset
java:/Objects/com.google.common.collect.Multisets
java:/Objects/com.google.common.collect.SetMultimap
java:/Objects/com.google.common.collect.ForwardingMultimap
java:/Objects/com.google.common.collect.SortedSetMultimap
java:/Objects/com.google.common.collect.FilteredMultimap
java:/Objects/com.google.common.collect.FilteredSetMultimap
java:/Objects/java.util.EnumMap
java:/Objects/com.google.common.base.Converter
java:/Objects/com.google.common.collect.BiMap
java:/Objects/com.google.common.collect.ForwardingMap
java:/Objects/com.google.common.collect.Ordering
java:/Objects/com.google.common.collect.Sets
java:/Objects/com.google.common.collect.ForwardingSet
java:/Objects/com.google.common.collect.AbstractNavigableMap
java:/Objects/com.google.common.collect.MapDifference
java:/Objects/com.google.common.collect.SortedMapDifference
java:/Objects/com.google.common.collect.ForwardingCollection
java:/Objects/com.google.common.collect.ForwardingSortedMap
java:/Objects/com.google.common.base.Equivalence
java:/Objects/java.util.IdentityHashMap
java:/Objects/com.google.common.collect.Range
java:/Objects/com.google.common.collect.ForwardingObject
java:/Objects/com.google.common.annotations.VisibleForTesting
java:/Objects/java.util.EnumSet
java:/Objects/com.google.common.collect.CartesianList
java:/Objects/com.google.common.collect.ForwardingNavigableSet
java:/Objects/com.google.common.collect.Collections2
java:/Objects/com.google.common.collect.ForwardingSortedSet
java:/Objects/java.util.concurrent.CopyOnWriteArraySet
java:/Objects/com.google.common.collect.AbstractIterator
java:/Objects/java.util.concurrent.CopyOnWriteArrayList
java:/Objects/java.util.function.BiPredicate
java:/Objects/com.google.common.collect.Cut
java:/Objects/com.google.common.collect.DiscreteDomain
java:/Objects/com.google.common.collect.BoundType
java:/Objects/com.google.common.collect.ForwardingMultiset
java:/Objects/com.google.common.collect.SortedMultiset
java:/Objects/com.google.common.collect.SortedMultisetBridge
java:/Objects/com.google.common.collect.SortedIterable
java:/Objects/com.google.common.collect.UnmodifiableListIterator
java:/Objects/com.google.common.collect.ImmutableSortedSetFauxverideShim
java:/Objects/com.google.common.collect.RegularImmutableSortedSet
java:/Objects/com.google.common.collect.ImmutableMapEntry
java:/Objects/com.google.common.collect.ImmutableEntry
java:/Objects/com.google.common.collect.AbstractMapEntry
java:/Objects/com.google.common.collect.ImmutableSortedMapFauxverideShim
java:/Objects/java.util.AbstractQueue
java:/Objects/org.eclipse.xtext.xbase.lib.ComparableExtensions
java:/Objects/org.eclipse.xtext.xbase.lib.DoubleExtensions
java:/Objects/org.eclipse.xtext.xbase.lib.FloatExtensions
java:/Objects/java.lang.Float
java:/Objects/org.eclipse.xtext.xbase.lib.FunctionExtensions
java:/Objects/org.eclipse.xtext.xbase.lib.Functions
java:/Objects/org.eclipse.xtext.xbase.lib.Procedures
java:/Objects/org.eclipse.xtext.xbase.lib.IntegerExtensions
java:/Objects/org.eclipse.xtext.xbase.lib.ExclusiveRange
java:/Objects/org.eclipse.xtext.xbase.lib.IntegerRange
java:/Objects/org.eclipse.xtext.xbase.lib.IterableExtensions
java:/Objects/org.eclipse.xtext.xbase.lib.IteratorExtensions
java:/Objects/com.google.common.collect.Iterators
java:/Objects/com.google.common.collect.MultitransformedIterator
java:/Objects/com.google.common.collect.PeekingIterator
java:/Objects/org.eclipse.xtext.xbase.lib.ListExtensions
java:/Objects/org.eclipse.xtext.xbase.lib.LongExtensions
java:/Objects/org.eclipse.xtext.xbase.lib.MapExtensions
java:/Objects/org.eclipse.xtext.xbase.lib.internal.UnmodifiableMergingMapView
java:/Objects/org.eclipse.xtext.xbase.lib.ObjectExtensions
java:/Objects/com.google.common.base.Objects
java:/Objects/com.google.common.base.ExtraObjectsMethodsForWeb
java:/Objects/org.eclipse.xtext.xbase.lib.ProcedureExtensions
java:/Objects/org.eclipse.xtext.xbase.lib.ShortExtensions
java:/Objects/java.lang.Short
java:/Objects/org.eclipse.xtext.xbase.lib.StringExtensions
platform:/resource/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/StandaloneScriptExecutor.xtend
platform:/resource/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/ApplicationConfigurationStandaloneSetup.xtend
java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ConfigurationScript
java:/Objects/org.eclipse.core.runtime.NullProgressMonitor
java:/Objects/org.eclipse.emf.ecore.util.EcoreUtil
java:/Objects/org.eclipse.viatra.query.runtime.rete.matcher.ReteEngine
platform:/resource/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/PatternLanguageWithRSModule.xtend
platform:/resource/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/PatternLanguageWithRSSetup.xtend
platform:/resource/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/ScriptConsole.xtend
platform:/resource/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/ScriptExecutor.xtend
platform:/resource/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/ApplicationConfigurationStandaloneRuntimeModule.xtend
java:/Objects/hu.bme.mit.inf.dslreasoner.application.ApplicationConfigurationStandaloneSetupGenerated
platform:/resource/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/linking/ApplicationConfigurationLinkingService.xtend
platform:/resource/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/valueconverter/ApplicationConfigurationValueConverterService.xtend
java:/Objects/hu.bme.mit.inf.dslreasoner.application.AbstractApplicationConfigurationRuntimeModule
java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage
java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.CftImport
java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.EPackageImport
java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.PatternEntry
java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ViatraImport
java:/Objects/org.eclipse.xtext.xbase.lib.Extension
java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationFactory
java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.AllPackageEntry
java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.AllPatternEntry
java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ClassReference
java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ClassTypeScope
java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.Command
java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.Config
java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ConfigDeclaration
java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ConfigEntry
java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ConfigReference
java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ConfigSpecification
java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.CostEntry
java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.CostObjectiveFunction
java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.CustomEntry
java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.Declaration
java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.DocumentationEntry
java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ExactNumber
java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.File
java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.FileDeclaration
java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.FileReference
java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.FileSpecification
java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.FolderEntry
java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask
java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GraphPattern
java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GraphPatternDeclaration
java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GraphPatternReference
java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.Import
java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntEnumberation
java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntegerReference
java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntegerScope
java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntegerTypeScope
java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntervallNumber
java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.MemoryEntry
java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.Metamodel
java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.MetamodelDeclaration
java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.MetamodelElement
java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.MetamodelEntry
java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.MetamodelReference
java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.MetamodelSpecification
java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ModelEntry
java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.Mtff
java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.NumberSpecification
java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ObjectReference
java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ObjectTypeScope
java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.Objective
java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ObjectiveDeclaration
java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ObjectiveEntry
java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ObjectiveFunction
java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ObjectiveReference
java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ObjectiveSpecification
java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.OptimizationEntry
java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.PartialModel
java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.PartialModelDeclaration
java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.PartialModelEntry
java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.PartialModelReference
java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.PartialModelSpecification
java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.PatternElement
java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.PatternSpecification
java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.RealEnumeration
java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.RealReference
java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.RealScope
java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.RealTypeScope
java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ReliabilityObjectiveFunction
java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ReliabiltiyProbability
java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.RuntimeEntry
java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.Scope
java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ScopeDeclaration
java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ScopeReference
java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ScopeSpecification
java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.StringEnumeration
java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.StringReference
java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.StringScope
java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.StringTypeScope
java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.Task
java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ThresholdEntry
java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeReference
java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope
java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.DocumentLevelSpecification
java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.Solver
java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.OptimizationDirection
java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ComparisonOperator
platform:/resource/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/valueconverter/QualifiedNameValueConverter.xtend
platform:/resource/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/validation/ApplicationConfigurationValidator.xtend
java:/Objects/hu.bme.mit.inf.dslreasoner.application.validation.AbstractApplicationConfigurationValidator
java:/Objects/org.eclipse.core.runtime.IProgressMonitor
java:/Objects/org.eclipse.emf.common.util.AbstractTreeIterator
java:/Objects/org.eclipse.emf.common.util.Diagnostic
java:/Objects/org.eclipse.emf.common.util.BasicEList
java:/Objects/org.eclipse.emf.common.util.AbstractEList
java:/Objects/org.eclipse.viatra.query.runtime.rete.matcher.RetePatternMatcher
java:/Objects/org.eclipse.viatra.query.runtime.rete.traceability.RecipeTraceInfo
java:/Objects/org.eclipse.viatra.query.runtime.rete.index.Indexer
java:/Objects/org.eclipse.viatra.query.runtime.rete.boundary.Disconnectable
java:/Objects/org.eclipse.viatra.query.runtime.rete.boundary.ReteBoundary
java:/Objects/org.eclipse.viatra.query.runtime.rete.construction.plancompiler.ReteRecipeCompiler
java:/Objects/org.eclipse.viatra.query.runtime.rete.network.Network
java:/Objects/org.eclipse.viatra.query.runtime.rete.matcher.HintConfigurator
java:/Objects/org.eclipse.viatra.query.runtime.rete.single.TransformerNode
java:/Objects/org.eclipse.viatra.query.runtime.rete.index.IterableIndexer
java:/Objects/org.eclipse.viatra.query.runtime.rete.network.Receiver
java:/Objects/org.eclipse.viatra.query.runtime.rete.network.Production
java:/Objects/org.eclipse.viatra.query.runtime.rete.single.SingleInputNode
java:/Objects/org.eclipse.viatra.query.runtime.rete.network.ReteContainer
java:/Objects/org.eclipse.viatra.query.runtime.rete.network.Direction
java:/Objects/org.eclipse.viatra.query.runtime.rete.network.StandardNode
java:/Objects/org.eclipse.viatra.query.runtime.rete.network.Tunnel
java:/Objects/org.eclipse.viatra.query.runtime.rete.network.Supplier
java:/Objects/org.eclipse.viatra.query.runtime.rete.traceability.TraceInfo
java:/Objects/org.eclipse.viatra.query.runtime.rete.network.mailbox.Mailbox
java:/Objects/org.eclipse.viatra.query.runtime.rete.network.BaseNode
java:/Objects/org.eclipse.viatra.query.runtime.rete.index.ProjectionIndexer
java:/Objects/org.eclipse.viatra.query.runtime.rete.network.Node
java:/Objects/org.eclipse.viatra.query.runtime.rete.network.CommunicationTracker
java:/Objects/org.eclipse.viatra.query.runtime.rete.network.CommunicationGroup
java:/Objects/org.eclipse.viatra.query.runtime.rete.network.RederivableNode
java:/Objects/org.eclipse.viatra.query.runtime.rete.network.MessageKind
java:/Objects/org.eclipse.viatra.query.runtime.rete.network.IGroupable
java:/Objects/org.eclipse.viatra.query.runtime.matchers.util.Clearable
java:/Objects/org.eclipse.viatra.query.runtime.rete.remote.Address
java:/Objects/org.eclipse.viatra.query.runtime.rete.network.ConnectionFactory
java:/Objects/org.eclipse.viatra.query.runtime.rete.boundary.InputConnector
java:/Objects/org.eclipse.viatra.query.runtime.rete.network.NodeFactory
java:/Objects/org.eclipse.viatra.query.runtime.rete.network.NodeProvisioner
java:/Objects/org.eclipse.viatra.query.runtime.rete.network.UpdateMessage
java:/Objects/org.eclipse.viatra.query.runtime.rete.recipes.ReteNodeRecipe
java:/Objects/org.eclipse.viatra.query.runtime.rete.recipes.IndexerRecipe
java:/Objects/org.eclipse.viatra.query.runtime.rete.recipes.SingleParentNodeRecipe
java:/Objects/org.eclipse.viatra.query.runtime.rete.recipes.Mask
java:/Objects/org.eclipse.viatra.query.runtime.rete.recipes.InputRecipe
java:/Objects/org.eclipse.viatra.query.runtime.rete.recipes.InputFilterRecipe
java:/Objects/org.eclipse.viatra.query.runtime.rete.boundary.ExternalInputEnumeratorNode
java:/Objects/com.google.common.collect.Table
java:/Objects/org.eclipse.viatra.query.runtime.rete.recipes.FilterRecipe
java:/Objects/org.eclipse.viatra.query.runtime.rete.recipes.AlphaRecipe
java:/Objects/org.eclipse.viatra.query.runtime.rete.recipes.CountAggregatorRecipe
java:/Objects/org.eclipse.viatra.query.runtime.rete.recipes.TransparentRecipe
java:/Objects/org.eclipse.viatra.query.runtime.rete.recipes.ExpressionEnforcerRecipe
java:/Objects/org.eclipse.viatra.query.runtime.rete.recipes.SingleColumnAggregatorRecipe
java:/Objects/org.eclipse.viatra.query.runtime.rete.recipes.TransitiveClosureRecipe
java:/Objects/org.eclipse.viatra.query.runtime.rete.recipes.ProductionRecipe
java:/Objects/org.eclipse.viatra.query.runtime.rete.recipes.UniquenessEnforcerRecipe
java:/Objects/org.eclipse.viatra.query.runtime.rete.recipes.ConstantRecipe
java:/Objects/org.eclipse.viatra.query.runtime.rete.recipes.DiscriminatorBucketRecipe
java:/Objects/org.eclipse.viatra.query.runtime.rete.recipes.DiscriminatorDispatcherRecipe
java:/Objects/org.eclipse.viatra.query.runtime.rete.recipes.TrimmerRecipe
java:/Objects/org.eclipse.viatra.query.runtime.rete.recipes.InequalityFilterRecipe
java:/Objects/org.eclipse.viatra.query.runtime.rete.recipes.EqualityFilterRecipe
java:/Objects/org.eclipse.viatra.query.runtime.rete.recipes.AntiJoinRecipe
java:/Objects/org.eclipse.viatra.query.runtime.rete.recipes.SemiJoinRecipe
java:/Objects/org.eclipse.viatra.query.runtime.rete.recipes.JoinRecipe
java:/Objects/org.eclipse.viatra.query.runtime.rete.recipes.ExpressionDefinition
java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.IExpressionEvaluator
java:/Objects/org.eclipse.viatra.query.runtime.rete.recipes.IndexerBasedAggregatorRecipe
java:/Objects/org.eclipse.viatra.query.runtime.rete.recipes.ProjectionIndexerRecipe
java:/Objects/org.eclipse.viatra.query.runtime.rete.recipes.RederivableNodeRecipe
java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.aggregations.IMultisetAggregationOperator
java:/Objects/org.eclipse.viatra.query.runtime.rete.recipes.MonotonicityInfo
java:/Objects/org.eclipse.viatra.query.runtime.rete.recipes.MultiParentNodeRecipe
java:/Objects/org.eclipse.viatra.query.runtime.rete.recipes.ExistenceJoinRecipe
java:/Objects/org.eclipse.viatra.query.runtime.rete.recipes.BetaRecipe
java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.IValueProvider
java:/Objects/org.eclipse.viatra.query.runtime.rete.remote.RemoteReceiver
java:/Objects/org.eclipse.viatra.query.runtime.rete.remote.RemoteSupplier
java:/Objects/org.eclipse.viatra.query.runtime.rete.traceability.UserRequestTrace
java:/Objects/org.eclipse.viatra.query.runtime.rete.recipes.helper.RecipeRecognizer
java:/Objects/org.eclipse.viatra.query.runtime.rete.index.IndexerListener
java:/Objects/org.eclipse.viatra.query.runtime.matchers.planning.IQueryPlannerStrategy
java:/Objects/org.eclipse.viatra.query.runtime.rete.traceability.PlanningTrace
java:/Objects/org.eclipse.viatra.query.runtime.rete.traceability.CompiledSubPlan
java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.basicdeferred.Equality
java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.basicdeferred.Inequality
java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.basicdeferred.TypeFilterConstraint
java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.basicdeferred.NegativePatternCall
java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.basicdeferred.PatternMatchCounter
java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.basicdeferred.AggregatorConstraint
java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.basicdeferred.ExpressionEvaluation
java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.basicenumerables.BinaryReflexiveTransitiveClosure
java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.basicenumerables.BinaryTransitiveClosure
java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.basicenumerables.PositivePatternCall
java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.basicenumerables.TypeConstraint
java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.basicenumerables.ConstantValue
java:/Objects/org.eclipse.viatra.query.runtime.rete.traceability.CompiledQuery
java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.EnumerablePConstraint
java:/Objects/org.eclipse.viatra.query.runtime.matchers.planning.operations.PJoin
java:/Objects/org.eclipse.viatra.query.runtime.matchers.planning.operations.PProject
java:/Objects/org.eclipse.viatra.query.runtime.matchers.planning.operations.PStart
java:/Objects/org.eclipse.viatra.query.runtime.rete.recipes.RecipesFactory
java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.rewriters.PDisjunctionRewriter
java:/Objects/org.eclipse.viatra.query.runtime.rete.construction.plancompiler.RecursionCutoffPoint
java:/Objects/org.eclipse.viatra.query.runtime.rete.traceability.PatternTraceInfo
java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.ITypeConstraint
java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.ITypeInfoProviderConstraint
java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.basicdeferred.PatternCallBasedDeferred
java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.IQueryReference
java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.aggregations.BoundAggregator
java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.basicdeferred.BaseTypeSafeConstraint
java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.basicenumerables.AbstractTransitiveClosure
java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.KeyedEnumerablePConstraint
java:/Objects/org.eclipse.viatra.query.runtime.rete.recipes.AggregatorIndexerRecipe
java:/Objects/org.eclipse.viatra.query.runtime.rete.recipes.CheckRecipe
java:/Objects/org.eclipse.viatra.query.runtime.rete.recipes.EvalRecipe
java:/Objects/org.eclipse.viatra.query.runtime.rete.recipes.ReteRecipe
java:/Objects/org.eclipse.viatra.query.runtime.rete.recipes.RecipesPackage
java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.rewriters.AbstractRewriterTraceSource
java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.rewriters.IDerivativeModificationReason
java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.rewriters.IRewriterTraceCollector
java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.rewriters.IPTraceableTraceProvider
platform:/resource/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/util/ApplicationConfigurationParser.xtend
java:/Objects/org.eclipse.core.runtime.Status
java:/Objects/org.eclipse.core.runtime.jobs.Job
platform:/resource/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/GenerationTaskExecutor.xtend
java:/Objects/org.eclipse.emf.ecore.resource.impl.ResourceSetImpl
java:/Objects/org.eclipse.emf.common.notify.impl.NotifierImpl
java:/Objects/org.eclipse.emf.ecore.util.EContentAdapter
java:/Objects/org.eclipse.emf.ecore.util.NotifyingInternalEListImpl
java:/Objects/org.eclipse.emf.common.notify.impl.BasicNotifierImpl
java:/Objects/org.eclipse.emf.common.notify.impl.AdapterImpl
java:/Objects/org.eclipse.emf.common.notify.impl.NotifyingListImpl
java:/Objects/org.eclipse.emf.common.notify.NotifyingList
java:/Objects/org.eclipse.emf.common.notify.impl.NotificationImpl
java:/Objects/org.eclipse.core.internal.jobs.InternalJob
java:/Objects/org.eclipse.core.runtime.IAdaptable
java:/Objects/org.eclipse.core.runtime.jobs.IJobChangeListener
java:/Objects/org.eclipse.core.runtime.jobs.IJobFunction
java:/Objects/org.eclipse.core.runtime.ICoreRunnable
java:/Objects/org.eclipse.core.runtime.jobs.JobGroup
java:/Objects/org.eclipse.core.runtime.jobs.IJobManager
java:/Objects/org.eclipse.core.runtime.QualifiedName
java:/Objects/org.eclipse.core.runtime.jobs.ISchedulingRule
java:/Objects/org.eclipse.core.runtime.OperationCanceledException
java:/Objects/org.eclipse.core.runtime.PlatformObject
java:/Objects/org.eclipse.core.internal.jobs.JobManager
java:/Objects/org.eclipse.core.internal.jobs.ObjectMap
java:/Objects/org.eclipse.osgi.service.debug.DebugOptionsListener
java:/Objects/org.eclipse.core.runtime.jobs.JobChangeAdapter
java:/Objects/org.eclipse.core.runtime.jobs.IJobChangeEvent
java:/Objects/org.eclipse.core.internal.jobs.ThreadJob
java:/Objects/org.eclipse.core.internal.jobs.InternalJobGroup
java:/Objects/org.eclipse.core.internal.jobs.JobQueue
java:/Objects/org.eclipse.core.internal.jobs.LockManager
java:/Objects/org.eclipse.core.runtime.jobs.ILock
java:/Objects/org.eclipse.core.runtime.jobs.LockListener
java:/Objects/org.eclipse.core.runtime.jobs.ProgressProvider
java:/Objects/org.eclipse.core.internal.jobs.Worker
java:/Objects/org.eclipse.core.internal.jobs.ImplicitJobs
java:/Objects/org.eclipse.core.internal.jobs.InternalWorker
java:/Objects/org.eclipse.core.internal.jobs.JobListeners
java:/Objects/org.eclipse.core.internal.jobs.WorkerPool
java:/Objects/org.eclipse.core.internal.jobs.Counter
java:/Objects/org.eclipse.core.runtime.MultiStatus
java:/Objects/org.eclipse.core.internal.jobs.OrderedLock
java:/Objects/org.eclipse.core.internal.jobs.DeadlockDetector
java:/Objects/org.eclipse.core.internal.jobs.Semaphore
java:/Objects/org.eclipse.core.internal.jobs.Queue
java:/Objects/org.eclipse.core.internal.jobs.Deadlock
java:/Objects/org.eclipse.core.internal.jobs.JobChangeEvent
platform:/resource/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/validation/MetamodelValidator.xtend
platform:/resource/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/validation/QueryAndMetamodelValidator.xtend
platform:/resource/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/MetamodelLoader.xtend
platform:/resource/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/ModelLoader.xtend
platform:/resource/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/QueryLoader.xtend
platform:/resource/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/SolverLoader.xtend
platform:/resource/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/ScopeLoader.xtend
platform:/resource/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/NullWorkspace.xtend
java:/Objects/java.lang.System
platform:/resource/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/EclipseBasedProgressMonitor.xtend
java:/Objects/org.eclipse.emf.ecore.EcorePackage
java:/Objects/org.eclipse.emf.ecore.EcoreFactory
java:/Objects/java.io.Console
java:/Objects/java.io.FileOutputStream
../inputs/SatelliteInstance.xmi
bold
bold
bold
KEEP_LOCATION
KEEP_SIZE
KEEP_RATIO
italic
KEEP_LOCATION
KEEP_SIZE
KEEP_RATIO
bold
italic
KEEP_LOCATION
KEEP_SIZE
KEEP_RATIO
italic
KEEP_LOCATION
KEEP_SIZE
KEEP_RATIO
KEEP_LOCATION
KEEP_SIZE
KEEP_RATIO
italic
KEEP_LOCATION
KEEP_SIZE
KEEP_RATIO
KEEP_LOCATION
KEEP_SIZE
KEEP_RATIO
KEEP_LOCATION
KEEP_SIZE
KEEP_RATIO
italic
italic
italic
italic
italic
KEEP_LOCATION
KEEP_SIZE
KEEP_RATIO
bold
bold
KEEP_LOCATION
KEEP_SIZE
KEEP_RATIO
bold
KEEP_LOCATION
KEEP_SIZE
KEEP_RATIO
KEEP_LOCATION
KEEP_SIZE
KEEP_RATIO
labelSize
labelSize
bold
bold
KEEP_LOCATION
KEEP_SIZE
KEEP_RATIO
italic
labelSize
labelSize
KEEP_LOCATION
KEEP_SIZE
KEEP_RATIO
italic
bold
bold