Serialized Form

Package org.sosy_lab.common

Class org.sosy_lab.common.Classes.ClassInstantiationException extends Exception implements Serializable

serialVersionUID:

7862065219560550275L

Class org.sosy_lab.common.Classes.UnexpectedCheckedException extends RuntimeException implements Serializable

serialVersionUID:

-8706288432548996095L

Class org.sosy_lab.common.Classes.UnsuitedClassException extends Exception implements Serializable

serialVersionUID:

5091662820905162461L

Package org.sosy_lab.common.collect

Class org.sosy_lab.common.collect.OurSortedMap.EmptyImmutableOurSortedMap extends org.sosy_lab.common.collect.AbstractImmutableSortedMap<K extends Comparable<? super K>,V extends @Nullable Object> implements Serializable

serialVersionUID:

-4621218089650593459L

Class org.sosy_lab.common.collect.PathCopyingPersistentTreeMap extends org.sosy_lab.common.collect.AbstractImmutableSortedMap<K extends Comparable<? super K>,V extends @Nullable Object> implements Serializable

serialVersionUID:

1041711151457528188L

Serialized Fields

root

@Nullable org.sosy_lab.common.collect.PathCopyingPersistentTreeMap.Node<K extends Comparable<? super K>,V extends @Nullable Object> root

Package org.sosy_lab.common.configuration

Class org.sosy_lab.common.configuration.InvalidConfigurationException extends Exception implements Serializable

serialVersionUID:

-2482555561027049741L

Package org.sosy_lab.common.log

Class org.sosy_lab.common.log.ExtendedLogRecord extends LogRecord implements Serializable

serialVersionUID:

-2531000268930566255L

Serialized Fields

componentName

String componentName

Package org.sosy_lab.common.rationals

Class org.sosy_lab.common.rationals.Rational extends Number implements Serializable

serialVersionUID:

1657347377738275521L

Serialized Fields

den

BigInteger den

num

BigInteger num

Rationals are always stored in the normal form. That is:

a) denominator is strictly positive. b) numerator and denominator do not have common factors. c) 0, 1 and -1 have unique representation corresponding to the class static constants ZERO, ONE and NEG_ONE. That is, they can be compared using the '==' operator.

Package org.sosy_lab.common.time

Class org.sosy_lab.common.time.TimeSpan extends Object implements Serializable

serialVersionUID:

-4013592312989551009L

Serialized Fields

span

long span

unit

TimeUnit unit