From fd3684b5440dacca0c4bf4be15930555a79e2100 Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Tue, 21 May 2019 17:00:01 -0400 Subject: VIATRA DSE and COIN-OR CBC implementations of CPS case study --- .../model/cps.aird | 1705 -------------------- .../model/cps.ecore | 41 - .../model/cps.genmodel | 6 - 3 files changed, 1752 deletions(-) delete mode 100644 Domains/hu.bme.mit.inf.dslreasoner.domains.cps/model/cps.aird (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.cps/model') diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/model/cps.aird b/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/model/cps.aird deleted file mode 100644 index 3f1b0301..00000000 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/model/cps.aird +++ /dev/null @@ -1,1705 +0,0 @@ - - - - cps.ecore - cps.genmodel - ../src/hu/bme/mit/inf/dslreasoner/domains/cps/queries/CpsQueries.vql - http://www.eclipse.org/emf/2002/Ecore - java:/Objects/org.eclipse.viatra.query.runtime.api.impl.BasePatternMatch - java:/Objects/java.lang.Object - java:/Objects/org.eclipse.viatra.query.runtime.api.IPatternMatch - java:/Primitives - java:/Objects/java.lang.SafeVarargs - java:/Objects/java.util.List - java:/Objects/java.lang.String - java:/Objects/java.lang.CloneNotSupportedException - java:/Objects/java.lang.Throwable - java:/Objects/java.lang.Class - java:/Objects/java.lang.InterruptedException - java:/Objects/java.lang.Exception - java:/Objects/java.io.Serializable - java:/Objects/java.io.PrintWriter - java:/Objects/java.io.PrintStream - java:/Objects/java.lang.StackTraceElement - java:/Objects/java.util.Set - java:/Objects/java.io.ObjectInputStream - java:/Objects/java.io.IOException - java:/Objects/java.lang.ClassNotFoundException - 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.lang.Comparable - java:/Objects/java.security.SecureRandom - java:/Objects/java.lang.Enum - 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.util.function.Consumer - java:/Objects/java.lang.Long - java:/Objects/java.lang.Integer - 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.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.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.stream.Stream - java:/Objects/java.util.function.Supplier - java:/Objects/java.util.function.ObjDoubleConsumer - java:/Objects/java.util.function.BiConsumer - 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.Predicate - java:/Objects/java.util.stream.Collector - java:/Objects/java.util.Optional - java:/Objects/java.util.function.UnaryOperator - java:/Objects/java.util.function.BinaryOperator - java:/Objects/java.util.function.BiFunction - java:/Objects/java.util.function.IntFunction - java:/Objects/java.util.function.IntPredicate - java:/Objects/java.util.function.ObjIntConsumer - java:/Objects/java.util.OptionalInt - 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.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.io.ObjectStreamException - 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.concurrent.atomic.AtomicReference - java:/Objects/java.lang.Void - java:/Objects/java.util.concurrent.CountedCompleter - java:/Objects/java.util.Collection - java:/Objects/java.util.concurrent.locks.ReentrantLock - 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.lang.Iterable - 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/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.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/sun.misc.ObjectInputFilter - java:/Objects/java.io.ObjectInputValidation - java:/Objects/java.io.ObjectStreamClass - java:/Objects/sun.util.logging.PlatformLogger - java:/Objects/java.io.InvalidClassException - java:/Objects/java.io.Externalizable - java:/Objects/sun.misc.ObjectStreamClassValidator - java:/Objects/java.io.SerialCallbackContext - java:/Objects/java.io.SerializablePermission - 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.api.IQuerySpecification - java:/Objects/org.eclipse.viatra.query.runtime.api.ViatraQueryMatcher - java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.queries.PQueryHeader - java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.queries.PQuery - java:/Objects/org.eclipse.viatra.query.runtime.api.ViatraQueryEngine - 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/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.tuple.Tuple - java:/Objects/org.eclipse.viatra.query.runtime.matchers.tuple.AbstractTuple - java:/Objects/org.eclipse.viatra.query.runtime.matchers.tuple.ITuple - 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.backend.IMatcherCapability - 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.backend.IQueryResultProvider - java:/Objects/org.eclipse.viatra.query.runtime.matchers.backend.IUpdateable - java:/Objects/org.eclipse.viatra.query.runtime.matchers.tuple.TupleMask - 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.context.IQueryRuntimeContextListener - java:/Objects/org.eclipse.viatra.query.runtime.matchers.context.IndexingService - java:/Objects/org.eclipse.viatra.query.runtime.matchers.planning.QueryProcessingException - java:/Objects/org.eclipse.viatra.query.runtime.matchers.ViatraQueryRuntimeException - java:/Objects/org.eclipse.viatra.query.runtime.api.scope.IBaseIndex - java:/Objects/org.eclipse.viatra.query.runtime.api.ViatraQueryEngineOptions - java:/Objects/org.eclipse.viatra.query.runtime.api.scope.ViatraBaseIndexChangeListener - java:/Objects/org.eclipse.viatra.query.runtime.api.scope.IIndexingErrorListener - java:/Objects/org.eclipse.viatra.query.runtime.api.scope.IInstanceObserver - java:/Objects/org.eclipse.viatra.query.runtime.internal.apiimpl.EngineContextFactory - java:/Objects/org.eclipse.viatra.query.runtime.api.scope.IEngineContext - java:/Objects/org.eclipse.viatra.query.runtime.api.impl.BaseMatcher - java:/Objects/org.eclipse.viatra.query.runtime.internal.apiimpl.QueryResultWrapper - java:/Objects/org.eclipse.viatra.query.runtime.api.impl.BaseGeneratedEMFQuerySpecification - 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.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/java.lang.Override - 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.cps.CyberPhysicalSystem - java:/Objects/hu.bme.mit.inf.dslreasoner.domains.cps.ApplicationType - java:/Objects/hu.bme.mit.inf.dslreasoner.domains.cps.ApplicationInstance - java:/Objects/hu.bme.mit.inf.dslreasoner.domains.cps.HostType - java:/Objects/hu.bme.mit.inf.dslreasoner.domains.cps.HostInstance - java:/Objects/hu.bme.mit.inf.dslreasoner.domains.cps.Request - java:/Objects/hu.bme.mit.inf.dslreasoner.domains.cps.ResourceRequirement - java:/Objects/hu.bme.mit.inf.dslreasoner.domains.cps.Requirement - java:/Objects/java.lang.SuppressWarnings - java:/Objects/javax.annotation.Generated - java:/Objects/org.eclipse.viatra.query.runtime.api.GenericPatternMatcher - java:/Objects/org.eclipse.viatra.query.runtime.api.GenericPatternMatch - java:/Objects/org.eclipse.viatra.query.runtime.api.GenericQuerySpecification - java:/Objects/org.eclipse.viatra.query.runtime.api.impl.BaseGeneratedEMFQuerySpecificationWithGenericMatcher - java:/Objects/org.eclipse.viatra.query.runtime.matchers.aggregators.sum - java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.aggregations.AggregatorType - java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.aggregations.IAggregatorFactory - java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.aggregations.BoundAggregator - java:/Objects/java.lang.annotation.Inherited - java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.aggregations.IMultisetAggregationOperator - 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 - java:/Objects/org.eclipse.viatra.query.runtime.matchers.aggregators.count - java:/Objects/org.eclipse.viatra.query.runtime.matchers.aggregators.avg - - - - - - - - - - - - - - bold - - - - - - - - - - - - - - - - - - - - - - - - - bold - - - - - - - - - - - - - - - - - - - - - - - - bold - - - - bold - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - KEEP_LOCATION - KEEP_SIZE - KEEP_RATIO - - - - - - - - - KEEP_LOCATION - KEEP_SIZE - KEEP_RATIO - - - - - - - - - KEEP_LOCATION - KEEP_SIZE - KEEP_RATIO - - - - - - - - - bold - - - - - - - - bold - - - - - - - - bold - - - - - - - - KEEP_LOCATION - KEEP_SIZE - KEEP_RATIO - - - - - - - - - KEEP_LOCATION - KEEP_SIZE - KEEP_RATIO - - - - - - - - - bold - - - - - - - - KEEP_LOCATION - KEEP_SIZE - KEEP_RATIO - - - - - - - - - KEEP_LOCATION - KEEP_SIZE - KEEP_RATIO - - - - - - - - - bold - - - - - - - - bold - - - - - - - - - - labelSize - - - labelSize - - - - - - - - - - - - - - - - - - - - - labelSize - - - labelSize - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - labelSize - - - labelSize - - - - - - - - - - bold - - - - - - - - - KEEP_LOCATION - KEEP_SIZE - KEEP_RATIO - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - bold - - - bold - - - - - - - - - - labelSize - - - labelSize - - - - - - - - - - labelSize - - - labelSize - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/model/cps.ecore b/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/model/cps.ecore index 36db23be..0f52d8ee 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/model/cps.ecore +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/model/cps.ecore @@ -1,9 +1,6 @@ - -
- @@ -11,20 +8,6 @@ eType="#//ApplicationType" containment="true"/> - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/model/cps.genmodel b/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/model/cps.genmodel index a0ccec7f..09ed2e0c 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/model/cps.genmodel +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/model/cps.genmodel @@ -15,8 +15,6 @@ - - @@ -49,10 +47,6 @@ - - - - -- cgit v1.2.3-70-g09d2