Index (Sosy-Lab Common Library)

A B C D E F G H I J K L M N O P R S T U V W X Z
All Classes All Packages

A

abs() - Method in class org.sosy_lab.common.rationals.Rational: Returns absolute value of this.
AbstractAppender() - Constructor for class org.sosy_lab.common.Appenders.AbstractAppender
AbstractMBean - Class in org.sosy_lab.common: Abstract class that encapsulates the registration of an MBean with the MBeanServer.
AbstractMBean(String, LogManager) - Constructor for class org.sosy_lab.common.AbstractMBean
add(int, T) - Method in interface org.sosy_lab.common.collect.PersistentList: Deprecated.
Unsupported operation.
add(LinearExpression<T>) - Method in class org.sosy_lab.common.rationals.LinearExpression: Add other linear expression.
add(T) - Method in interface org.sosy_lab.common.collect.PersistentList: Deprecated.
Unsupported operation.
addAll(int, Collection<? extends T>) - Method in interface org.sosy_lab.common.collect.PersistentList: Deprecated.
Unsupported operation.
addAll(Collection<? extends T>) - Method in interface org.sosy_lab.common.collect.PersistentList: Deprecated.
Unsupported operation.
addConverter(Class<?>, TypeConverter) - Method in class org.sosy_lab.common.configuration.ConfigurationBuilder: Add a type converter for options with a certain type.
addTo(Temporal) - Method in class org.sosy_lab.common.time.TimeSpan
allElementsEqual(Iterable<?>) - Static method in class org.sosy_lab.common.collect.Collections3: Check whether all elements contained in the given iterable are equal to each other.
allElementsEqual(Object[]) - Static method in class org.sosy_lab.common.collect.Collections3: Check whether all elements contained in the given array are equal to each other.
allElementsEqual(Stream<?>) - Static method in class org.sosy_lab.common.collect.Collections3: Check whether all elements contained in the given stream are equal to each other.
AnnotatedValue<T> - Class in org.sosy_lab.common.configuration: Immutable container that stores a value and an optional string.
annotation() - Method in class org.sosy_lab.common.configuration.AnnotatedValue
Appender - Interface in org.sosy_lab.common: An interface for classes that know how to dump themselves into an Appendable.
Appenders - Class in org.sosy_lab.common: Utility class providing Appenders for various cases.
Appenders.AbstractAppender - Class in org.sosy_lab.common: Base implementation of Appender that ensures that the Appenders.AbstractAppender.toString() method returns the same result that Appender.appendTo(Appendable) produces in order to ensure that the contract of Appender is fulfilled.
appendTo(Appendable) - Method in interface org.sosy_lab.common.Appender: Writes a string representation of this object into the given Appendable.
appendTo(Appendable, Object) - Static method in class org.sosy_lab.common.Appenders: Write the given object into the given output.
appendTo(StringBuilder, Appender) - Static method in class org.sosy_lab.common.Appenders: Let an Appender dump itself into a StringBuilder.
appendToFile(Path, Charset, Object) - Static method in class org.sosy_lab.common.io.IO: Appends content to a file (without overwriting the file, but creating it if necessary).
appendToFile(Path, Charset, Object) - Static method in class org.sosy_lab.common.io.MoreFiles: Deprecated.
moved to IO
applicableTo() - Method in annotation type org.sosy_lab.common.configuration.OptionDetailAnnotation: The annotation is applicable to configuration of these types.
ARM64 - org.sosy_lab.common.NativeLibraries.Architecture: Deprecated.
asByteSink(Path, FileWriteMode...) - Static method in class org.sosy_lab.common.io.MoreFiles: Deprecated.
asByteSource(Path) - Static method in class org.sosy_lab.common.io.MoreFiles: Deprecated.
asCharSink(Path, Charset, FileWriteMode...) - Static method in class org.sosy_lab.common.io.MoreFiles: Deprecated.
asCharSource(Path, Charset) - Static method in class org.sosy_lab.common.io.MoreFiles: Deprecated.
asDuration() - Method in class org.sosy_lab.common.time.TimeSpan: Return a Duration instance that represents the same amount of time (but it won't be possible to retrieve our unit as from getUnit()).
asMillis() - Method in class org.sosy_lab.common.time.TimeSpan: Get the value of this TimeSpan as milliseconds.
asNanos() - Method in class org.sosy_lab.common.time.TimeSpan: Get the value of this TimeSpan as nanoseconds.
asPropertiesString() - Method in class org.sosy_lab.common.configuration.Configuration
asSeconds() - Method in class org.sosy_lab.common.time.TimeSpan: Get the value of this TimeSpan as seconds.
asSet(Optional<T>) - Static method in class org.sosy_lab.common.Optionals: Return a set that is either empty or contains the present instance of the Optional.
asStream(Optional<T>) - Static method in class org.sosy_lab.common.Optionals: Deprecated.
use Optional.stream()

B

BaseTypeConverter - Enum in org.sosy_lab.common.configuration.converters: A TypeConverter which handles all the trivial cases like ints, Strings, log levels, regexps, etc.
BasicLogManager - Class in org.sosy_lab.common.log: Default implementation of LogManager.
BasicLogManager(Logger) - Constructor for class org.sosy_lab.common.log.BasicLogManager: Constructor which allows to customize where this logger delegates to.
BasicLogManager(Logger, int) - Constructor for class org.sosy_lab.common.log.BasicLogManager: Constructor which allows to customize where this logger delegates to.
BasicLogManager.LogManagerMXBean - Interface in org.sosy_lab.common.log
build() - Method in class org.sosy_lab.common.Classes.ClassLoaderBuilder
build() - Method in class org.sosy_lab.common.configuration.ConfigurationBuilder: Create a Configuration instance with the settings specified by method calls on this builder instance.
builder() - Static method in class org.sosy_lab.common.configuration.Configuration: Create a new Builder instance.
builder() - Static method in class org.sosy_lab.common.io.TempFile: Create a builder for temporary files.

C

ceilingEntry(K) - Method in class org.sosy_lab.common.collect.PathCopyingPersistentTreeMap
checkReadableFile(Path) - Static method in class org.sosy_lab.common.io.IO: Verifies if a file exists, is a normal file and is readable.
checkReadableFile(Path) - Static method in class org.sosy_lab.common.io.MoreFiles: Deprecated.
moved to IO
ChildFirstPatternClassLoader - Class in org.sosy_lab.common: Deprecated.
replaced with Classes.makeExtendedURLClassLoader() and Classes.ClassLoaderBuilder.setDirectLoadClasses(Predicate).
ChildFirstPatternClassLoader(Predicate<String>, URL[], ClassLoader) - Constructor for class org.sosy_lab.common.ChildFirstPatternClassLoader: Deprecated.

Create a new class loader.
ChildFirstPatternClassLoader(Pattern, URL[], ClassLoader) - Constructor for class org.sosy_lab.common.ChildFirstPatternClassLoader: Deprecated.

Create a new class loader.
Classes - Class in org.sosy_lab.common: Helper class for various methods related to handling Java classes and types.
Classes.ClassInstantiationException - Exception in org.sosy_lab.common: Deprecated.
Classes.ClassLoaderBuilder<B extends Classes.ClassLoaderBuilder<B>> - Class in org.sosy_lab.common: A builder for class loaders with more features than URLClassLoader.
Classes.UnexpectedCheckedException - Exception in org.sosy_lab.common: An exception that should be used if a checked exception is encountered in a situation where it is not excepted (e.g., when getting the result from a Callable of which you know it shouldn't throw such exceptions).
Classes.UnsuitedClassException - Exception in org.sosy_lab.common: Exception thrown when Classes.createFactory(TypeToken, Class) is called with a class that does not satisfy the requirements of the factory interface.
ClassInstantiationException(String, String, Throwable) - Constructor for exception org.sosy_lab.common.Classes.ClassInstantiationException: Deprecated.
ClassInstantiationException(String, Throwable) - Constructor for exception org.sosy_lab.common.Classes.ClassInstantiationException: Deprecated.
ClassOption - Annotation Type in org.sosy_lab.common.configuration: This is an optional annotation for all configuration options (i.e., elements that are annotated with Option) whose type is Class.
ClassTypeConverter - Class in org.sosy_lab.common.configuration.converters
ClassTypeConverter() - Constructor for class org.sosy_lab.common.configuration.converters.ClassTypeConverter
clear() - Method in class org.sosy_lab.common.collect.CopyOnWriteSortedMap: See Map.clear().
clear() - Method in interface org.sosy_lab.common.collect.PersistentList: Deprecated.
Unsupported operation.
clear() - Method in interface org.sosy_lab.common.collect.PersistentMap: Deprecated.
Unsupported operation.
clear() - Method in class org.sosy_lab.common.log.StringBuildingLogHandler
clearOption(String) - Method in class org.sosy_lab.common.configuration.ConfigurationBuilder: Reset a single option to its default value.
close() - Method in class org.sosy_lab.common.io.DuplicateOutputStream
close() - Method in class org.sosy_lab.common.io.MoreFiles.DeleteOnCloseFile: Deprecated.
close() - Method in class org.sosy_lab.common.io.TempFile.DeleteOnCloseDir: Recursively delete all files and directories in the directory represented by this instance.
close() - Method in class org.sosy_lab.common.io.TempFile.DeleteOnCloseFile
close() - Method in class org.sosy_lab.common.log.BasicLogManager
close() - Method in class org.sosy_lab.common.log.StringBuildingLogHandler
codeUnit() - Method in annotation type org.sosy_lab.common.configuration.TimeSpanOption: The unit which will be used to write the value from the user into the annotated field if the field is of type int or long.
Collections3 - Class in org.sosy_lab.common.collect: Utility class similar to Collections and Collections2.
collectMapsDifferenceTo(Collection<MapsDifference.Entry<K, V>>) - Static method in class org.sosy_lab.common.collect.MapsDifference: Returns a MapsDifference.Visitor that collects all map differences as MapsDifference.Entry objects into a given collection.
collectOptions(boolean, boolean, PrintStream) - Static method in class org.sosy_lab.common.configuration.OptionCollector: This function collects options from all classes and outputs them.
collector() - Static method in class org.sosy_lab.common.collect.PersistentLinkedList: Deprecated.
renamed to PersistentLinkedList.toPersistentLinkedList() to conform with Guava's naming
comparator() - Method in class org.sosy_lab.common.collect.PathCopyingPersistentTreeMap
compareTo(ExtendedRational) - Method in class org.sosy_lab.common.rationals.ExtendedRational
compareTo(Rational) - Method in class org.sosy_lab.common.rationals.Rational
compareTo(TimeSpan) - Method in class org.sosy_lab.common.time.TimeSpan
comparingDoubleEmptyFirst() - Static method in class org.sosy_lab.common.Optionals: Return a Ordering for OptionalDouble that compares empty optionals as smaller than all non-empty instances, and compares present doubles using their natural order.
comparingDoubleEmptyLast() - Static method in class org.sosy_lab.common.Optionals: Return a Ordering for OptionalDouble that compares empty optionals as larger than all non-empty instances, and compares present doubles using their natural order.
comparingEmptyFirst() - Static method in class org.sosy_lab.common.Optionals: Deprecated.
Use Comparators.emptiesFirst(Comparator)
comparingEmptyFirst(Comparator<T>) - Static method in class org.sosy_lab.common.Optionals: Deprecated.
Use Comparators.emptiesFirst(Comparator)
comparingEmptyLast() - Static method in class org.sosy_lab.common.Optionals: Deprecated.
Use Comparators.emptiesLast(Comparator)
comparingEmptyLast(Comparator<T>) - Static method in class org.sosy_lab.common.Optionals: Deprecated.
Use Comparators.emptiesLast(Comparator)
comparingIntEmptyFirst() - Static method in class org.sosy_lab.common.Optionals: Return a Ordering for OptionalInt that compares empty optionals as smaller than all non-empty instances, and compares present integers using their natural order.
comparingIntEmptyLast() - Static method in class org.sosy_lab.common.Optionals: Return a Ordering for OptionalInt that compares empty optionals as larger than all non-empty instances, and compares present integers using their natural order.
comparingLongEmptyFirst() - Static method in class org.sosy_lab.common.Optionals: Return a Ordering for OptionalLong that compares empty optionals as smaller than all non-empty instances, and compares present longs using their natural order.
comparingLongEmptyLast() - Static method in class org.sosy_lab.common.Optionals: Return a Ordering for OptionalLong that compares empty optionals as larger than all non-empty instances, and compares present longs using their natural order.
compute(K, BiFunction<? super K, ? super V, ? extends V>) - Method in interface org.sosy_lab.common.collect.PersistentMap: Deprecated.
Unsupported operation.
computeIfAbsent(K, Function<? super K, ? extends V>) - Method in interface org.sosy_lab.common.collect.PersistentMap: Deprecated.
Unsupported operation.
computeIfPresent(K, BiFunction<? super K, ? super V, ? extends V>) - Method in interface org.sosy_lab.common.collect.PersistentMap: Deprecated.
Unsupported operation.
concat(Iterable<Appender>) - Static method in class org.sosy_lab.common.Appenders: Create a new Appender that consists of the sequential concatenation of multiple appenders.
concat(Appender...) - Static method in class org.sosy_lab.common.Appenders: Create a new Appender that consists of the sequential concatenation of multiple appenders.
Concurrency - Class in org.sosy_lab.common: Helper methods for concurrency related things.
Configuration - Class in org.sosy_lab.common.configuration: Immutable wrapper around a map with properties, providing useful access helper methods.
ConfigurationBuilder - Class in org.sosy_lab.common.configuration: Interface for constructing Configuration instances.
ConsoleLogFormatter - Class in org.sosy_lab.common.log: Class to handle formatting for console output.
ConsoleLogFormatter(LoggingOptions) - Constructor for class org.sosy_lab.common.log.ConsoleLogFormatter
containsKey(Object) - Method in class org.sosy_lab.common.collect.PathCopyingPersistentTreeMap
convert(String, String, TypeToken<?>, Annotation, Path, LogManager) - Method in interface org.sosy_lab.common.configuration.converters.TypeConverter: Convert a String given by the user to an instance of a given type.
convert(String, String, TypeToken<?>, Annotation, Path, LogManager) - Method in enum org.sosy_lab.common.configuration.converters.BaseTypeConverter
convert(String, String, TypeToken<?>, Annotation, Path, LogManager) - Method in class org.sosy_lab.common.configuration.converters.ClassTypeConverter
convert(String, String, TypeToken<?>, Annotation, Path, LogManager) - Method in class org.sosy_lab.common.configuration.converters.FileTypeConverter
convert(String, String, TypeToken<?>, Annotation, Path, LogManager) - Method in class org.sosy_lab.common.configuration.converters.IntegerTypeConverter
convert(String, String, TypeToken<?>, Annotation, Path, LogManager) - Method in class org.sosy_lab.common.configuration.converters.TimeSpanTypeConverter
convertDefaultValue(String, T, TypeToken<T>, Annotation) - Method in interface org.sosy_lab.common.configuration.converters.TypeConverter: Optionally convert the default value for an option that was given in the source code.
convertDefaultValue(String, T, TypeToken<T>, Annotation) - Method in class org.sosy_lab.common.configuration.converters.FileTypeConverter
convertDefaultValueFromOtherInstance(String, T, TypeToken<T>, Annotation) - Method in class org.sosy_lab.common.configuration.converters.FileTypeConverter
convertDefaultValueFromOtherInstance(String, T, TypeToken<T>, Annotation) - Method in interface org.sosy_lab.common.configuration.converters.TypeConverter: Like TypeConverter.convertDefaultValue(String, Object, TypeToken, Annotation), but called if the default value was not taken from the fresh instance, but from a different instance (cf.
copyFrom(Configuration) - Method in class org.sosy_lab.common.configuration.ConfigurationBuilder: Copy everything from an existing Configuration instance.
copyOf(List<T>) - Static method in class org.sosy_lab.common.collect.PersistentLinkedList: Returns A new list with the values from the Iterable.
copyOf(Map<K, V>) - Static method in class org.sosy_lab.common.collect.PathCopyingPersistentTreeMap
copyOf(CopyOnWriteSortedMap<K, V>) - Static method in class org.sosy_lab.common.collect.CopyOnWriteSortedMap: Create a new map instance containing all entries of the given map.
copyOf(PersistentSortedMap<K, V>) - Static method in class org.sosy_lab.common.collect.CopyOnWriteSortedMap: Create a new map instance with an initial content of the given map.
copyOf(T...) - Static method in class org.sosy_lab.common.collect.PersistentLinkedList: Returns a list containing the specified values.
CopyOnWriteSortedMap<K,V extends @Nullable Object> - Class in org.sosy_lab.common.collect: This is a map implementation that uses copy-on-write behavior.
copyOptionFrom(Configuration, String) - Method in class org.sosy_lab.common.configuration.ConfigurationBuilder: Copy one single option from another Configuration instance, overwriting the value in this builder, if it is already set.
copyOptionFromIfPresent(Configuration, String) - Method in class org.sosy_lab.common.configuration.ConfigurationBuilder: Copy one single option from another Configuration instance, overwriting the value in this builder, if it is already set.
copyWithNewPrefix(Configuration, String) - Static method in class org.sosy_lab.common.configuration.Configuration: Creates a copy of a configuration with just the prefix set to a new value.
create() - Static method in interface org.sosy_lab.common.collect.OrderStatisticMap: Creates a new empty OrderStatisticMap using natural ordering.
create() - Static method in interface org.sosy_lab.common.collect.OrderStatisticSet: Creates a new empty OrderStatisticSet using natural ordering.
create() - Method in class org.sosy_lab.common.io.TempFile.TempFileBuilder: Create a fresh temporary file according to the specifications set on this builder.
create() - Static method in class org.sosy_lab.common.ShutdownManager: Create a fresh new instance of this class.
create(String[]) - Method in class org.sosy_lab.common.collect.OrderStatisticSetTestSuite.OrderStatisticSetFactory
create(Comparator<? super E>) - Static method in interface org.sosy_lab.common.collect.OrderStatisticSet: Creates a new empty OrderStatisticSet using the given comparator.
create(Comparator<? super K>) - Static method in interface org.sosy_lab.common.collect.OrderStatisticMap: Creates a new empty OrderStatisticMap using the given comparator over its keys.
create(List<Map.Entry<String, String>>) - Method in class org.sosy_lab.common.collect.OrderStatisticMapTestSuite.OrderStatisticMapFactory
create(Map.Entry<String, String>[]) - Method in class org.sosy_lab.common.collect.OrderStatisticMapTestSuite.OrderStatisticMapFactory
create(Configuration) - Static method in class org.sosy_lab.common.configuration.converters.FileTypeConverter
create(Configuration) - Static method in class org.sosy_lab.common.log.BasicLogManager: Create a BasicLogManager which logs to a file and the console according to user configuration.
create(LoggingOptions) - Static method in class org.sosy_lab.common.log.BasicLogManager: Create a BasicLogManager which logs to a file and the console according to specified options.
create(T) - Static method in class org.sosy_lab.common.configuration.AnnotatedValue
create(T, String) - Static method in class org.sosy_lab.common.configuration.AnnotatedValue
create(T, Optional<String>) - Static method in class org.sosy_lab.common.configuration.AnnotatedValue
createAppender(Object) - Static method in class org.sosy_lab.common.Appenders: Return an Appender for the given object.
createDeleteOnClose() - Method in class org.sosy_lab.common.io.TempFile.TempFileBuilder: Create a fresh temporary file according to the specifications set on this builder.
createDeleteOnCloseDir(String, FileAttribute<?>...) - Static method in class org.sosy_lab.common.io.TempFile: Create a fresh temporary directory in JVM's temp directory.
createDummy() - Static method in class org.sosy_lab.common.ShutdownNotifier: Create an instance that will never return true for ShutdownNotifier.shouldShutdown() and will never notify its listeners.
createFactory(TypeToken<I>, Class<?>) - Static method in class org.sosy_lab.common.Classes: Create a factory at runtime that implements the interface factoryType and delegates to either a constructor or a static factory method of cls.
createFactory(Class<I>, Class<?>) - Static method in class org.sosy_lab.common.Classes: Create a factory at runtime that implements the interface factoryType and delegates to either a constructor or a static factory method of cls.
createInstance(Class<? extends T>, Class<?>[], Object[], Class<T>) - Static method in class org.sosy_lab.common.Classes: Deprecated.
createInstance(Class<T>, Class<? extends T>, Class<?>[], Object[]) - Static method in class org.sosy_lab.common.Classes: Deprecated.
createInstance(Class<T>, Class<? extends T>, Class<?>[], Object[], Class<X>) - Static method in class org.sosy_lab.common.Classes: Deprecated.
createNullLogManager() - Static method in interface org.sosy_lab.common.log.LogManager: Return a LogManager that does not log anything.
createParentDirs(Path) - Static method in class org.sosy_lab.common.io.MoreFiles: Deprecated.
createTempFile(String, String) - Static method in class org.sosy_lab.common.io.MoreFiles: Deprecated.
Use TempFile.builder() and TempFile.TempFileBuilder.createDeleteOnClose().
createTempFile(String, String, String) - Static method in class org.sosy_lab.common.io.MoreFiles: Deprecated.
Use TempFile.builder().
createTestLogManager() - Static method in interface org.sosy_lab.common.log.LogManager: Return a LogManager implementation intended for testing when nothing should actually be logged.
createThreadPool() - Static method in class org.sosy_lab.common.Concurrency: Creates a thread pool of fixed size.
createThreadPool(ThreadFactory) - Static method in class org.sosy_lab.common.Concurrency: Creates a thread pool of fixed size.
createWithHandler(Handler) - Static method in class org.sosy_lab.common.log.BasicLogManager: Create a BasicLogManager which delegates to a new logger with only the given Handler.
createWithNaturalOrder(Iterable<E>) - Static method in interface org.sosy_lab.common.collect.OrderStatisticSet: Creates a new OrderStatisticSet containing the same elements as the given Iterable, using natural ordering.
createWithNaturalOrder(Map<? extends K, ? extends V>) - Static method in interface org.sosy_lab.common.collect.OrderStatisticMap: Creates a new OrderStatisticSet containing the same entries as the given map, using natural ordering over its keys.
createWithParent(ShutdownNotifier) - Static method in class org.sosy_lab.common.ShutdownManager: Create a fresh new instance of this class in a hierarchy.
createWithSafePathsOnly(Configuration) - Static method in class org.sosy_lab.common.configuration.converters.FileTypeConverter: Create an instanceof of this class that allows only injected files that are below the current directory.
createWithSameOrder(SortedMap<K, ? extends V>) - Static method in interface org.sosy_lab.common.collect.OrderStatisticMap: Creates a new OrderStatisticMap containing the same entries and using the same order over keys as the given SortedMap.
createWithSameOrder(SortedSet<E>) - Static method in interface org.sosy_lab.common.collect.OrderStatisticSet: Creates a new OrderStatisticSet containing the same elements and using the same order as the given SortedSet.

D

defaultConfiguration() - Static method in class org.sosy_lab.common.configuration.Configuration: Creates a configuration with all values set to default.
defaultUserUnit() - Method in annotation type org.sosy_lab.common.configuration.TimeSpanOption: The unit which should be assumed when the user does not explicitly specify a unit.
DefaultVisitor() - Constructor for class org.sosy_lab.common.collect.MapsDifference.DefaultVisitor
delegate() - Method in class org.sosy_lab.common.collect.CopyOnWriteSortedMap
delegate() - Method in class org.sosy_lab.common.log.ForwardingLogManager
delegate() - Method in class org.sosy_lab.common.log.LogManagerWithoutDuplicates
deprecatedName() - Method in annotation type org.sosy_lab.common.configuration.Option: When the option needs to be renamed, often it is desirable to maintain the backwards compatibility with the previous config.
deprecatedPrefix() - Method in annotation type org.sosy_lab.common.configuration.Options: When the prefix needs to be renamed, often it is desirable to maintain the backwards compatibility with the previous config.
descendingEntryIterator() - Method in class org.sosy_lab.common.collect.PathCopyingPersistentTreeMap
descendingKeySet() - Method in interface org.sosy_lab.common.collect.OrderStatisticMap
descendingMap() - Method in interface org.sosy_lab.common.collect.OrderStatisticMap
descendingMap() - Method in class org.sosy_lab.common.collect.PathCopyingPersistentTreeMap
descendingMap() - Method in interface org.sosy_lab.common.collect.PersistentSortedMap
descendingSet() - Method in interface org.sosy_lab.common.collect.OrderStatisticSet
description() - Method in annotation type org.sosy_lab.common.configuration.Option: A text that describes the current option (this will be part of the user documentation).
description() - Method in annotation type org.sosy_lab.common.configuration.Options: An optional text, that describes the current options.
difference(TimeSpan, TimeSpan) - Static method in class org.sosy_lab.common.time.TimeSpan: Create a new time span that is the difference of two time spans.
differingValues(K, V, V) - Method in class org.sosy_lab.common.collect.MapsDifference.DefaultVisitor
differingValues(K, V, V) - Method in interface org.sosy_lab.common.collect.MapsDifference.Visitor: Accept a map difference.
dir(Path) - Method in class org.sosy_lab.common.io.TempFile.TempFileBuilder: The directory where the file will be created, default is JVM's temp directory.
divide(int) - Method in class org.sosy_lab.common.time.TimeSpan: Create a new time span that is the current one divided by a non-negative integral value.
divide(LinearExpression<T>) - Method in class org.sosy_lab.common.rationals.LinearExpression: Returns a iff other.multByConst(a) == this, Optional.absent() if no such constant exists.
divides(ExtendedRational) - Method in class org.sosy_lab.common.rationals.ExtendedRational
divides(Rational) - Method in class org.sosy_lab.common.rationals.Rational: Return this / b.
doubleValue() - Method in class org.sosy_lab.common.rationals.Rational
dumpUsedOptionsTo(PrintStream) - Method in class org.sosy_lab.common.configuration.Configuration: Let this instance write human-readable information about every option that is used to the given stream.
DuplicateOutputStream - Class in org.sosy_lab.common.io: This class is an OutputStream implementation that sends everything to two other OutputStreams.
DuplicateOutputStream(OutputStream, OutputStream) - Constructor for class org.sosy_lab.common.io.DuplicateOutputStream

E

elementAndList(T, Collection<? extends T>) - Static method in class org.sosy_lab.common.collect.Collections3: Return a list that contains the given element and the given collection.
elementsAndList(T, T, Collection<? extends T>) - Static method in class org.sosy_lab.common.collect.Collections3: Return a list that contains the given elements and the given collection.
empty() - Method in class org.sosy_lab.common.collect.PathCopyingPersistentTreeMap
empty() - Method in class org.sosy_lab.common.collect.PersistentLinkedList
empty() - Method in interface org.sosy_lab.common.collect.PersistentList: Replacement for {PersistentList.clear() that returns an empty instance.
empty() - Method in interface org.sosy_lab.common.collect.PersistentMap: Replacement for {PersistentMap.clear() that returns an empty instance.
empty() - Method in interface org.sosy_lab.common.collect.PersistentSortedMap
empty() - Static method in class org.sosy_lab.common.rationals.LinearExpression: Creates an empty linear expression.
empty() - Static method in class org.sosy_lab.common.time.TimeSpan
enableLogging(LogManager) - Method in class org.sosy_lab.common.configuration.Configuration
enableSecureModeGlobally() - Static method in class org.sosy_lab.common.configuration.Configuration: Enable a secure mode, i.e., allow only injection of configuration options marked as secure.
entryIterator() - Method in class org.sosy_lab.common.collect.PathCopyingPersistentTreeMap
entrySet() - Method in class org.sosy_lab.common.collect.CopyOnWriteSortedMap
entrySet() - Method in class org.sosy_lab.common.collect.PathCopyingPersistentTreeMap
entrySet() - Method in interface org.sosy_lab.common.collect.PersistentSortedMap
equals(Object) - Method in class org.sosy_lab.common.collect.PathCopyingPersistentTreeMap
equals(Object) - Method in class org.sosy_lab.common.rationals.ExtendedRational
equals(Object) - Method in class org.sosy_lab.common.rationals.LinearExpression
equals(Object) - Method in class org.sosy_lab.common.rationals.Rational
equals(Object) - Method in class org.sosy_lab.common.time.TimeSpan
ExtendedLogRecord - Class in org.sosy_lab.common.log: An extension of LogRecord that stores additional information.
ExtendedLogRecord(Level, String) - Constructor for class org.sosy_lab.common.log.ExtendedLogRecord
ExtendedRational - Class in org.sosy_lab.common.rationals: This class represents "extended rational": rationals which allow for infinities, negative infinities and undefined numbers.
ExtendedRational(Rational) - Constructor for class org.sosy_lab.common.rationals.ExtendedRational
ExtendedRational.NumberType - Enum in org.sosy_lab.common.rationals
extractUpperBoundFromType(Type) - Static method in class org.sosy_lab.common.Classes: Simplify a Type instance: if it is a wildcard generic type, replace it with its upper bound.

F

FieldsAreNonnullByDefault - Annotation Type in org.sosy_lab.common.annotations: An annotation similar to ParametersAreNonnullByDefault that defines that all fields inside the annotated element are never null, unless this is overridden with another method.
fileAttributes(FileAttribute<?>...) - Method in class org.sosy_lab.common.io.TempFile.TempFileBuilder: Use the specified FileAttributes for creating the file.
FileLogFormatter - Class in org.sosy_lab.common.log: Deprecated.
use TimestampedLogFormatter instead.
FileLogFormatter() - Constructor for class org.sosy_lab.common.log.FileLogFormatter: Deprecated.
use TimestampedLogFormatter.withoutColors()
FileOption - Annotation Type in org.sosy_lab.common.configuration: This is an annotation providing more features for options of types File and Path.
FileOption.Type - Enum in org.sosy_lab.common.configuration
FileTypeConverter - Class in org.sosy_lab.common.configuration.converters: A TypeConverter for options of type File or Path which offers some additional features like a common base directory for all output files.
filterByClass(Iterable<? super T>, Class<T>) - Static method in class org.sosy_lab.common.collect.Collections3: Provide a stream that results from filtering the given iterable's element by their class.
filterByClass(Collection<? super T>, Class<T>) - Static method in class org.sosy_lab.common.collect.Collections3: Provide a stream that results from filtering the given collection's element by their class.
filterByClass(Stream<? super T>, Class<T>) - Static method in class org.sosy_lab.common.collect.Collections3: Provide a stream that results from filtering the given stream's element by their class.
findPathForLibrary(String) - Static method in class org.sosy_lab.common.NativeLibraries: Deprecated.
firstEntry() - Method in class org.sosy_lab.common.collect.PathCopyingPersistentTreeMap
floatValue() - Method in class org.sosy_lab.common.rationals.Rational
floorEntry(K) - Method in class org.sosy_lab.common.collect.PathCopyingPersistentTreeMap
flush() - Method in class org.sosy_lab.common.io.DuplicateOutputStream
flush() - Method in class org.sosy_lab.common.log.BasicLogManager
flush() - Method in class org.sosy_lab.common.log.ForwardingLogManager
flush() - Method in interface org.sosy_lab.common.log.LogManager: Flush all handlers of this logger.
flush() - Method in enum org.sosy_lab.common.log.NullLogManager: Deprecated.
flush() - Method in class org.sosy_lab.common.log.StringBuildingLogHandler
flush() - Method in enum org.sosy_lab.common.log.TestLogManager: Deprecated.
forDifferingValues(K, V, V) - Static method in class org.sosy_lab.common.collect.MapsDifference.Entry
forIterable(Joiner, Iterable<?>) - Static method in class org.sosy_lab.common.Appenders: Return an Appender that writes an Iterable into the output using a given Joiner.
forLeftValueOnly(K, V) - Static method in class org.sosy_lab.common.collect.MapsDifference.Entry
forMap(Joiner.MapJoiner, Map<?, ?>) - Static method in class org.sosy_lab.common.Appenders: Return an Appender that writes a Map into the output using a given Joiner.
format(LogRecord, StringBuilder) - Method in class org.sosy_lab.common.log.ConsoleLogFormatter
format(LogRecord, StringBuilder) - Method in class org.sosy_lab.common.log.TimestampedLogFormatter
formatAs(TimeUnit) - Method in class org.sosy_lab.common.time.TimeSpan: Return a strings that represents (approximately) this time span, in the given unit if possible.
forName(String, String) - Static method in class org.sosy_lab.common.Classes: Similar to Class.forName(String), but if the class is not found this method re-tries with a package name prefixed.
forRightValueOnly(K, V) - Static method in class org.sosy_lab.common.collect.MapsDifference.Entry
ForwardingLogManager - Class in org.sosy_lab.common.log
ForwardingLogManager() - Constructor for class org.sosy_lab.common.log.ForwardingLogManager
fromCmdLineArguments(String[]) - Static method in class org.sosy_lab.common.configuration.Configuration: Construct a configuration object from the array of command line arguments.
fromGuavaOptional(Optional<T>) - Static method in class org.sosy_lab.common.Optionals: Deprecated.
use Optional.toJavaUtil()
fromToStringMethod(Object) - Static method in class org.sosy_lab.common.Appenders: Return an Appender that writes the result of the Object.toString() method of an object into the output.

G

get() - Method in class org.sosy_lab.common.LazyFutureTask
get(long, TimeUnit) - Method in class org.sosy_lab.common.LazyFutureTask: Deprecated.
Unsupported operation.
get(Object) - Method in class org.sosy_lab.common.collect.PathCopyingPersistentTreeMap
get(TemporalUnit) - Method in class org.sosy_lab.common.time.TimeSpan: Deprecated.
getAvgTime() - Method in class org.sosy_lab.common.time.Timer: Return the average of all intervals.
getByRank(int) - Method in interface org.sosy_lab.common.collect.OrderStatisticSet: Returns the element of this set with the given rank.
getChecked(TimeUnit) - Method in class org.sosy_lab.common.time.TimeSpan: Get the value of this TimeSpan represented in the given unit.
getCodeLocation(Class<?>) - Static method in class org.sosy_lab.common.Classes: Return the Path to the location of the code of the given class, e.g., the JAR file.
getCoeff(T) - Method in class org.sosy_lab.common.rationals.LinearExpression
getCompletions(Element, AnnotationMirror, ExecutableElement, String) - Method in class org.sosy_lab.common.configuration.OptionAnnotationProcessor
getConsoleExclude() - Method in class org.sosy_lab.common.log.LoggingOptions
getConsoleLevel() - Method in interface org.sosy_lab.common.log.BasicLogManager.LogManagerMXBean
getConsoleLevel() - Method in class org.sosy_lab.common.log.LoggingOptions
getCurentInnerTimer() - Method in class org.sosy_lab.common.time.NestedTimer: Get a reference to the current inner timer.
getCurrentThreadCputime() - Static method in class org.sosy_lab.common.time.Tickers: Return a Tickers.TickerWithUnit that delegates to ThreadMXBean.getCurrentThreadCpuTime().
getDefaultConverters() - Static method in class org.sosy_lab.common.configuration.Configuration: Get the map of registered default TypeConverters.
getDen() - Method in class org.sosy_lab.common.rationals.Rational
getDeprecatedProperties() - Method in class org.sosy_lab.common.configuration.Configuration
getEntry(Object) - Method in class org.sosy_lab.common.collect.PathCopyingPersistentTreeMap
getEntryByRank(int) - Method in interface org.sosy_lab.common.collect.OrderStatisticMap: Returns the entry of this map with the given rank.
getErrorOutput() - Method in class org.sosy_lab.common.ProcessExecutor: Returns the complete output to stderr of the process.
getExceptionMergeConflictHandler() - Static method in class org.sosy_lab.common.collect.PersistentSortedMaps: Returns a PersistentSortedMaps.MergeConflictHandler that will always throw an IllegalArgumentException.
getFileExclude() - Method in class org.sosy_lab.common.log.LoggingOptions
getFileLevel() - Method in class org.sosy_lab.common.log.LoggingOptions
getFreshId() - Method in class org.sosy_lab.common.UniqueIdGenerator
getFreshPath() - Method in class org.sosy_lab.common.io.PathCounterTemplate: Construct a concrete Path that was not handed out by this instance before.
getInnerAvgSumTime() - Method in class org.sosy_lab.common.time.NestedTimer: Return the average of all inner times.
getInnerMaxTime() - Method in class org.sosy_lab.common.time.NestedTimer: Return the maximal time of all inner intervals.
getInnerSumTime() - Method in class org.sosy_lab.common.time.NestedTimer: Return the sum of all inner intervals.
getInstance() - Static method in enum org.sosy_lab.common.log.NullLogManager: Deprecated.
getInstance() - Static method in enum org.sosy_lab.common.log.TestLogManager: Deprecated.
getInstanceForNewConfiguration(Configuration) - Method in class org.sosy_lab.common.configuration.converters.FileTypeConverter
getInstanceForNewConfiguration(Configuration) - Method in interface org.sosy_lab.common.configuration.converters.TypeConverter: Return a (possibly) new instance of this converter that has new configuration values applied.
getKey() - Method in class org.sosy_lab.common.collect.MapsDifference.Entry: Returns the map key.
getKeyByRank(int) - Method in interface org.sosy_lab.common.collect.OrderStatisticMap: Returns the key of this map with the given rank.
getLeftValue() - Method in class org.sosy_lab.common.collect.MapsDifference.Entry: Returns the left value, if present.
getLengthOfLastInterval() - Method in class org.sosy_lab.common.time.Timer: Return the length of the last measured interval.
getLengthOfLastOuterInterval() - Method in class org.sosy_lab.common.time.NestedTimer: Return the length of the last measured outer interval.
getLengthOfLastTotalInterval() - Method in class org.sosy_lab.common.time.NestedTimer: Return the length of the last measured total interval.
getLog() - Method in class org.sosy_lab.common.log.StringBuildingLogHandler
getMap() - Method in class org.sosy_lab.common.rationals.LinearExpression: Returns the underlying stored map.
getMaximumMergeConflictHandler() - Static method in class org.sosy_lab.common.collect.PersistentSortedMaps: Returns a PersistentSortedMaps.MergeConflictHandler that will always return the maximum (according to the natural order).
getMaxTime() - Method in class org.sosy_lab.common.time.Timer: Return the maximal time of all intervals.
getMinimumMergeConflictHandler() - Static method in class org.sosy_lab.common.collect.PersistentSortedMaps: Returns a PersistentSortedMaps.MergeConflictHandler that will always return the minimum (according to the natural order).
getMinTime() - Method in class org.sosy_lab.common.time.Timer: Return the minimal time of all intervals.
getNativeCharset() - Static method in class org.sosy_lab.common.io.IO: Return the Charset that is used by the underlying platform, i.e., configured as the OS default.
getNativeLibraryPath() - Static method in class org.sosy_lab.common.NativeLibraries: Return the "native library path" as defined in the documentation of NativeLibraries, i.e., a directory where members of this class expect native binaries.
getNotifier() - Method in class org.sosy_lab.common.ShutdownManager
getNullTicker() - Static method in class org.sosy_lab.common.time.Tickers: Return a dummy Tickers.TickerWithUnit that always returns 0.
getNum() - Method in class org.sosy_lab.common.rationals.Rational
getNumberOfIntervals() - Method in class org.sosy_lab.common.time.NestedTimer: Return the number of total intervals.
getNumberOfIntervals() - Method in class org.sosy_lab.common.time.Timer: Return the number of intervals.
getOrDefault(Object, V) - Method in class org.sosy_lab.common.collect.PathCopyingPersistentTreeMap
getOuterAvgTime() - Method in class org.sosy_lab.common.time.NestedTimer: Return the average of all outer intervals.
getOuterMaxTime() - Method in class org.sosy_lab.common.time.NestedTimer: Return the maximal time of all outer intervals.
getOuterSumTime() - Method in class org.sosy_lab.common.time.NestedTimer: Return the sum of all outer intervals.
getOutput() - Method in class org.sosy_lab.common.ProcessExecutor: Returns the complete output of the process.
getOutputDirectory() - Method in class org.sosy_lab.common.configuration.converters.FileTypeConverter
getOutputFile() - Method in class org.sosy_lab.common.log.LoggingOptions
getOutputPath() - Method in class org.sosy_lab.common.configuration.converters.FileTypeConverter
getPath(Object...) - Method in class org.sosy_lab.common.io.PathTemplate: Construct a concrete Path from this template and the given values.
getProcessCputime() - Static method in class org.sosy_lab.common.time.Tickers: Return a Tickers.TickerWithUnit that delegates to com.sun.management.OperatingSystemMXBean.getProcessCpuTime().
getProperty(String) - Method in class org.sosy_lab.common.configuration.Configuration: Deprecated.
getRational() - Method in class org.sosy_lab.common.rationals.ExtendedRational: If the represented number is rational, return the wrapped object.
getReason() - Method in class org.sosy_lab.common.ShutdownNotifier: Return the reason for the shutdown request on this instance.
getRightValue() - Method in class org.sosy_lab.common.collect.MapsDifference.Entry: Returns the right value, if present.
getSaturated(TimeUnit) - Method in class org.sosy_lab.common.time.TimeSpan: Get the value of this TimeSpan represented in the given unit.
getSingleTypeArgument(TypeToken<?>) - Static method in class org.sosy_lab.common.Classes: See Classes.getSingleTypeArgument(Type).
getSingleTypeArgument(Type) - Static method in class org.sosy_lab.common.Classes: From a type X<Foo>, extract the Foo.
getSnapshot() - Method in class org.sosy_lab.common.collect.CopyOnWriteSortedMap: Return a immutable snapshot of the current state of the map.
getSourceComponentName() - Method in class org.sosy_lab.common.log.ExtendedLogRecord
getSumTime() - Method in class org.sosy_lab.common.time.Timer: Return the sum of all intervals.
getSupportedSourceVersion() - Method in class org.sosy_lab.common.configuration.OptionAnnotationProcessor
getTemplate() - Method in class org.sosy_lab.common.io.PathCounterTemplate: Returns the raw template of this instance.
getTemplate() - Method in class org.sosy_lab.common.io.PathTemplate: Returns the raw template of this instance.
getTotalAvgTime() - Method in class org.sosy_lab.common.time.NestedTimer: Return the average of all total intervals.
getTotalMaxTime() - Method in class org.sosy_lab.common.time.NestedTimer: Return the maximal time of all total intervals.
getTotalSumTime() - Method in class org.sosy_lab.common.time.NestedTimer: Return the sum of all total intervals.
getTruncateSize() - Method in class org.sosy_lab.common.log.LoggingOptions
getUnit() - Method in class org.sosy_lab.common.time.TimeSpan
getUnits() - Method in class org.sosy_lab.common.time.TimeSpan: Deprecated.
getUnusedProperties() - Method in class org.sosy_lab.common.configuration.Configuration
getWalltimeMillis() - Static method in class org.sosy_lab.common.time.Tickers: Return a Tickers.TickerWithUnit that delegates to System.currentTimeMillis().
getWalltimeNanos() - Static method in class org.sosy_lab.common.time.Tickers: Return a Tickers.TickerWithUnit that delegates to System.nanoTime().
guessOperatingSystem() - Static method in enum org.sosy_lab.common.NativeLibraries.OS: Deprecated.
guessVmArchitecture() - Static method in enum org.sosy_lab.common.NativeLibraries.Architecture: Deprecated.

Get the architecture of the current JVM, e.g., as required to load binary libraries.

H

handleErrorOutput(String) - Method in class org.sosy_lab.common.ProcessExecutor: Handle one line of stderr output from the process.
handleExitCode(int) - Method in class org.sosy_lab.common.ProcessExecutor: Handle the exit code of the process.
handleOutput(String) - Method in class org.sosy_lab.common.ProcessExecutor: Handle one line of output from the process.
handleRuntimeErrorException(RuntimeErrorException) - Method in class org.sosy_lab.common.AbstractMBean
hashCode() - Method in class org.sosy_lab.common.collect.PathCopyingPersistentTreeMap
hashCode() - Method in class org.sosy_lab.common.rationals.ExtendedRational
hashCode() - Method in class org.sosy_lab.common.rationals.LinearExpression
hashCode() - Method in class org.sosy_lab.common.rationals.Rational
hashCode() - Method in class org.sosy_lab.common.time.TimeSpan
hasProperty(String) - Method in class org.sosy_lab.common.configuration.Configuration: Deprecated.
head() - Method in class org.sosy_lab.common.collect.PersistentLinkedList: Returns the value at the start of the list.
headMap(K) - Method in class org.sosy_lab.common.collect.CopyOnWriteSortedMap
headMap(K) - Method in interface org.sosy_lab.common.collect.OrderStatisticMap
headMap(K) - Method in interface org.sosy_lab.common.collect.PersistentSortedMap
headMap(K, boolean) - Method in interface org.sosy_lab.common.collect.OrderStatisticMap
headMap(K, boolean) - Method in class org.sosy_lab.common.collect.PathCopyingPersistentTreeMap
headMap(K, boolean) - Method in interface org.sosy_lab.common.collect.PersistentSortedMap
headSet(E) - Method in interface org.sosy_lab.common.collect.OrderStatisticSet
headSet(E, boolean) - Method in interface org.sosy_lab.common.collect.OrderStatisticSet
higherEntry(K) - Method in class org.sosy_lab.common.collect.PathCopyingPersistentTreeMap

I

ignoreMapsDifference() - Static method in class org.sosy_lab.common.collect.MapsDifference: Returns a default MapsDifference.Visitor that does nothing.
INFTY - org.sosy_lab.common.rationals.ExtendedRational.NumberType
INFTY - Static variable in class org.sosy_lab.common.rationals.ExtendedRational
initialContent(Object, Charset) - Method in class org.sosy_lab.common.io.TempFile.TempFileBuilder: Content to write to temp file immediately after creation.
inject(Object) - Method in class org.sosy_lab.common.configuration.Configuration: Inject the values of configuration options into an object.
inject(Object, Class<?>) - Method in class org.sosy_lab.common.configuration.Configuration: Use this method if the calling class is likely to be sub-classed, so that the options of the calling class get injected, not the options of the dynamic class type of the object.
injectWithDefaults(T, Class<T>, T) - Method in class org.sosy_lab.common.configuration.Configuration: Same as Configuration.inject(Object, Class), but if this Configuration instance does not contain a value for a requested configuration option, use the value that is set in the given defaultsInstance instead of the value that is set as default in the to-be-injected object.
INSTANCE - org.sosy_lab.common.configuration.converters.BaseTypeConverter
INSTANCE - org.sosy_lab.common.log.NullLogManager: Deprecated.
INSTANCE - org.sosy_lab.common.log.TestLogManager: Deprecated.
IntegerOption - Annotation Type in org.sosy_lab.common.configuration: This is an optional annotation for all configuration options (i.e., elements that are annotated with Option) whose type is an integer number (i.e., int, long, Integer and Long):
IntegerTypeConverter - Class in org.sosy_lab.common.configuration.converters: Type converter for options of types Integer/Long annotated with IntegerOption (not for integer options without this annotation).
IntegerTypeConverter() - Constructor for class org.sosy_lab.common.configuration.converters.IntegerTypeConverter
interruptCurrentThreadOnShutdown() - Static method in class org.sosy_lab.common.ShutdownNotifier: Utility method for creating a ShutdownNotifier.ShutdownRequestListener that interrupts the current thread (that calls this method) on a shutdown.
intValue() - Method in class org.sosy_lab.common.rationals.Rational
InvalidConfigurationException - Exception in org.sosy_lab.common.configuration: Exception class to signal that something is wrong in the user-specified configuration.
InvalidConfigurationException(String) - Constructor for exception org.sosy_lab.common.configuration.InvalidConfigurationException
InvalidConfigurationException(String, Throwable) - Constructor for exception org.sosy_lab.common.configuration.InvalidConfigurationException
invokeStaticMethod(Class<?>, String, Class<T>, T, String) - Static method in enum org.sosy_lab.common.configuration.converters.BaseTypeConverter
IO - Class in org.sosy_lab.common.io: Provides helper functions for file access, in addition to Files and MoreFiles.
IS_GENERATED - Static variable in class org.sosy_lab.common.Classes
isEmpty() - Method in class org.sosy_lab.common.collect.PathCopyingPersistentTreeMap
isEmpty() - Method in class org.sosy_lab.common.collect.PersistentLinkedList
isEmpty() - Method in class org.sosy_lab.common.rationals.LinearExpression
isEmpty() - Method in class org.sosy_lab.common.time.TimeSpan: Check whether this time span is empty, i.e., represents 0ns (or 0ms or 0s or ...).
isFinished() - Method in class org.sosy_lab.common.ProcessExecutor: Checks whether the process has finished already.
isIntegral() - Method in class org.sosy_lab.common.rationals.LinearExpression: Returns whether all coefficients are integral.
isIntegral() - Method in class org.sosy_lab.common.rationals.Rational
isOnlyOuterRunning() - Method in class org.sosy_lab.common.time.NestedTimer: Check if the outer timer is running, i.e., the timer is running but the inner timer is not running.
isRational() - Method in class org.sosy_lab.common.rationals.ExtendedRational
isRunning() - Method in class org.sosy_lab.common.time.NestedTimer: Check if the timer is running.
isRunning() - Method in class org.sosy_lab.common.time.Timer: Check if the timer is running.
iterator() - Method in class org.sosy_lab.common.collect.PersistentLinkedList
iterator() - Method in class org.sosy_lab.common.rationals.LinearExpression

J

join() - Method in class org.sosy_lab.common.ProcessExecutor: Wait for the process to terminate and read all of it's output.
join(long) - Method in class org.sosy_lab.common.ProcessExecutor: Wait for the process to terminate.
JSON - Class in org.sosy_lab.common: This class is based on code from the library JSON.simple in version 1.1 (https://code.google.com/p/json-simple/).

K

keySet() - Method in class org.sosy_lab.common.collect.CopyOnWriteSortedMap
keySet() - Method in interface org.sosy_lab.common.collect.PersistentSortedMap

L

lastEntry() - Method in class org.sosy_lab.common.collect.PathCopyingPersistentTreeMap
LazyFutureTask<V extends @Nullable Object> - Class in org.sosy_lab.common: Future implementation that can be used when a task should be executed only lazily at the first time LazyFutureTask.get() is called.
LazyFutureTask(Runnable, V) - Constructor for class org.sosy_lab.common.LazyFutureTask
LazyFutureTask(Callable<V>) - Constructor for class org.sosy_lab.common.LazyFutureTask
lazyString(Supplier<String>) - Static method in class org.sosy_lab.common.MoreStrings: Return an Object instance whose Object.toString() method lazily delegates to the given supplier.
leftValueOnly(K, V) - Method in class org.sosy_lab.common.collect.MapsDifference.DefaultVisitor
leftValueOnly(K, V) - Method in interface org.sosy_lab.common.collect.MapsDifference.Visitor
LinearExpression<T> - Class in org.sosy_lab.common.rationals: Simple sparse implementation for homogeneous linear expression of the form $\Sigma a_i x_i$, where $x_i$ is a set of variables and $a_i$ is a set of constants.
LINUX - org.sosy_lab.common.NativeLibraries.OS: Deprecated.
listAndElement(Collection<? extends T>, T) - Static method in class org.sosy_lab.common.collect.Collections3: Return a list that contains the given collection and the given element.
listAndElements(Collection<? extends T>, T, T) - Static method in class org.sosy_lab.common.collect.Collections3: Return a list that contains the given collection and the given elements.
listAndSurroundingElements(T, Collection<? extends T>, T) - Static method in class org.sosy_lab.common.collect.Collections3: Return a list that contains the given collection and the given elements, one before the collection and one after.
listIterator(int) - Method in class org.sosy_lab.common.collect.PersistentLinkedList
loadClass(String, boolean) - Method in class org.sosy_lab.common.ChildFirstPatternClassLoader: Deprecated.
loadFromFile(String) - Method in class org.sosy_lab.common.configuration.ConfigurationBuilder: Load options from a file with a "key = value" format.
loadFromFile(Path) - Method in class org.sosy_lab.common.configuration.ConfigurationBuilder: Load options from a file with a "key = value" format.
loadFromResource(Class<?>, String) - Method in class org.sosy_lab.common.configuration.ConfigurationBuilder: Load options from a class-loader resource with a "key = value" format.
loadFromSource(CharSource, String, String) - Method in class org.sosy_lab.common.configuration.ConfigurationBuilder: Load options from a CharSource with a "key = value" format.
loadLibrary(String) - Static method in class org.sosy_lab.common.NativeLibraries: Load a native library.
log(Level, Object...) - Method in class org.sosy_lab.common.log.BasicLogManager: Logs any message occurring during program execution.
log(Level, Object...) - Method in class org.sosy_lab.common.log.ForwardingLogManager
log(Level, Object...) - Method in interface org.sosy_lab.common.log.LogManager: Logs any message occurring during program execution.
log(Level, Object...) - Method in enum org.sosy_lab.common.log.NullLogManager: Deprecated.
log(Level, Object...) - Method in enum org.sosy_lab.common.log.TestLogManager: Deprecated.
log(Level, Supplier<String>) - Method in class org.sosy_lab.common.log.BasicLogManager
log(Level, Supplier<String>) - Method in class org.sosy_lab.common.log.ForwardingLogManager
log(Level, Supplier<String>) - Method in interface org.sosy_lab.common.log.LogManager: Logs any message occurring during program execution.
log(Level, Supplier<String>) - Method in enum org.sosy_lab.common.log.NullLogManager: Deprecated.
log(Level, Supplier<String>) - Method in enum org.sosy_lab.common.log.TestLogManager: Deprecated.
logDebugException(Throwable) - Method in class org.sosy_lab.common.log.BasicLogManager: Log an exception solely for the purpose of debugging.
logDebugException(Throwable) - Method in class org.sosy_lab.common.log.ForwardingLogManager
logDebugException(Throwable) - Method in interface org.sosy_lab.common.log.LogManager: Log an exception solely for the purpose of debugging.
logDebugException(Throwable) - Method in enum org.sosy_lab.common.log.NullLogManager: Deprecated.
logDebugException(Throwable) - Method in enum org.sosy_lab.common.log.TestLogManager: Deprecated.
logDebugException(Throwable, String) - Method in class org.sosy_lab.common.log.BasicLogManager: Log an exception solely for the purpose of debugging.
logDebugException(Throwable, String) - Method in class org.sosy_lab.common.log.ForwardingLogManager
logDebugException(Throwable, String) - Method in interface org.sosy_lab.common.log.LogManager: Log an exception solely for the purpose of debugging.
logDebugException(Throwable, String) - Method in enum org.sosy_lab.common.log.TestLogManager: Deprecated.
logDebugException(Throwable, String) - Method in enum org.sosy_lab.common.log.NullLogManager: Deprecated.
logException(Level, Throwable, String) - Method in class org.sosy_lab.common.log.BasicLogManager
logException(Level, Throwable, String) - Method in class org.sosy_lab.common.log.ForwardingLogManager
logException(Level, Throwable, String) - Method in interface org.sosy_lab.common.log.LogManager: Log an exception by printing the full details to the user.
logException(Level, Throwable, String) - Method in enum org.sosy_lab.common.log.TestLogManager: Deprecated.
logException(Level, Throwable, String) - Method in enum org.sosy_lab.common.log.NullLogManager: Deprecated.
logf(Level, String, Object...) - Method in class org.sosy_lab.common.log.BasicLogManager: Logs any message occurring during program execution.
logf(Level, String, Object...) - Method in class org.sosy_lab.common.log.ForwardingLogManager
logf(Level, String, Object...) - Method in interface org.sosy_lab.common.log.LogManager: Logs any message occurring during program execution.
logf(Level, String, Object...) - Method in enum org.sosy_lab.common.log.NullLogManager: Deprecated.
logf(Level, String, Object...) - Method in enum org.sosy_lab.common.log.TestLogManager: Deprecated.
logfDebugException(Throwable, String, Object...) - Method in class org.sosy_lab.common.log.BasicLogManager: Log an exception solely for the purpose of debugging.
logfDebugException(Throwable, String, Object...) - Method in class org.sosy_lab.common.log.ForwardingLogManager
logfDebugException(Throwable, String, Object...) - Method in interface org.sosy_lab.common.log.LogManager: Log an exception solely for the purpose of debugging.
logfDebugException(Throwable, String, Object...) - Method in enum org.sosy_lab.common.log.NullLogManager: Deprecated.
logfDebugException(Throwable, String, Object...) - Method in enum org.sosy_lab.common.log.TestLogManager: Deprecated.
logfException(Level, Throwable, String, Object...) - Method in class org.sosy_lab.common.log.BasicLogManager: Log an exception by printing the full details to the user.
logfException(Level, Throwable, String, Object...) - Method in class org.sosy_lab.common.log.ForwardingLogManager
logfException(Level, Throwable, String, Object...) - Method in interface org.sosy_lab.common.log.LogManager: Log an exception by printing the full details to the user.
logfException(Level, Throwable, String, Object...) - Method in enum org.sosy_lab.common.log.NullLogManager: Deprecated.
logfException(Level, Throwable, String, Object...) - Method in enum org.sosy_lab.common.log.TestLogManager: Deprecated.
logfOnce(Level, String, Object...) - Method in class org.sosy_lab.common.log.LogManagerWithoutDuplicates: Logging method similar to ForwardingLogManager.logf(Level, String, Object...), however, subsequent calls to this method with the same arguments will be silently ignored.
logfUserException(Level, Throwable, String, Object...) - Method in class org.sosy_lab.common.log.BasicLogManager: Log a message by printing its message to the user.
logfUserException(Level, Throwable, String, Object...) - Method in class org.sosy_lab.common.log.ForwardingLogManager
logfUserException(Level, Throwable, String, Object...) - Method in interface org.sosy_lab.common.log.LogManager: Log a message by printing its message to the user.
logfUserException(Level, Throwable, String, Object...) - Method in enum org.sosy_lab.common.log.NullLogManager: Deprecated.
logfUserException(Level, Throwable, String, Object...) - Method in enum org.sosy_lab.common.log.TestLogManager: Deprecated.
logger - Variable in class org.sosy_lab.common.ProcessExecutor
LoggingOptions - Class in org.sosy_lab.common.log
LoggingOptions() - Constructor for class org.sosy_lab.common.log.LoggingOptions: This constructor is for inheritance, thus allowing users to use this class without sosy-lab's Configuration.
LoggingOptions(Configuration) - Constructor for class org.sosy_lab.common.log.LoggingOptions
LogManager - Interface in org.sosy_lab.common.log: Main interface for basic logging framework.
LogManagerWithoutDuplicates - Class in org.sosy_lab.common.log: LogManager implementation which helps to get log messages printed only once, and avoid duplicate messages.
LogManagerWithoutDuplicates(LogManager) - Constructor for class org.sosy_lab.common.log.LogManagerWithoutDuplicates
logOnce(Level, Object...) - Method in class org.sosy_lab.common.log.LogManagerWithoutDuplicates: Logging method similar to ForwardingLogManager.log(Level, Object...), however, subsequent calls to this method with the same arguments will be silently ignored.
logOnce(Level, Supplier<String>) - Method in class org.sosy_lab.common.log.LogManagerWithoutDuplicates: Logging method similar to ForwardingLogManager.log(Level, Supplier), however, subsequent calls to this method with the same arguments will be silently ignored.
logUserException(Level, Throwable, String) - Method in class org.sosy_lab.common.log.BasicLogManager: Log a message by printing its message to the user.
logUserException(Level, Throwable, String) - Method in class org.sosy_lab.common.log.ForwardingLogManager
logUserException(Level, Throwable, String) - Method in interface org.sosy_lab.common.log.LogManager: Log a message by printing its message to the user.
logUserException(Level, Throwable, String) - Method in enum org.sosy_lab.common.log.TestLogManager: Deprecated.
logUserException(Level, Throwable, String) - Method in enum org.sosy_lab.common.log.NullLogManager: Deprecated.
longStringOf(MoreStrings.WithLongString) - Static method in class org.sosy_lab.common.MoreStrings: Return an Object instance whose Object.toString() method delegates to MoreStrings.WithLongString.toLongString().
longValue() - Method in class org.sosy_lab.common.rationals.Rational
lowerEntry(K) - Method in class org.sosy_lab.common.collect.PathCopyingPersistentTreeMap

M

MACOSX - org.sosy_lab.common.NativeLibraries.OS: Deprecated.
main(String[]) - Static method in class org.sosy_lab.common.configuration.OptionCollector: The main-method collects all classes of a program and then it searches for all Options.
makeExtendedURLClassLoader() - Static method in class org.sosy_lab.common.Classes: Create a class loader that is based on an URLClassLoader but implements some additional features.
MapsDifference - Class in org.sosy_lab.common.collect: Utilities for handling differences between maps.
MapsDifference.DefaultVisitor<K,V> - Class in org.sosy_lab.common.collect: Default implementation of MapsDifference.Visitor with empty methods.
MapsDifference.Entry<K,V> - Class in org.sosy_lab.common.collect: Class representing the difference between two maps for a given key.
MapsDifference.Visitor<K,V> - Interface in org.sosy_lab.common.collect: Interface for visiting map entries differing between two maps.
max() - Method in annotation type org.sosy_lab.common.configuration.IntegerOption: An optional maximum value for this option.
max() - Method in annotation type org.sosy_lab.common.configuration.TimeSpanOption: An optional maximum value for this option.
max(Rational, Rational) - Static method in class org.sosy_lab.common.rationals.Rational
mayUseColorForOutput() - Static method in class org.sosy_lab.common.io.IO: Determine whether it is advisable to use color (via escape sequences) for output on stdout/stderr.
merge(K, V, BiFunction<? super V, ? super V, ? extends V>) - Method in interface org.sosy_lab.common.collect.PersistentMap: Deprecated.
Unsupported operation.
merge(PersistentSortedMap<K, V>, PersistentSortedMap<K, V>, Equivalence<? super V>, PersistentSortedMaps.MergeConflictHandler<? super K, V>, MapsDifference.Visitor<? super K, ? super V>) - Static method in class org.sosy_lab.common.collect.PersistentSortedMaps: Merge two PersistentSortedMaps.
merge(PersistentSortedMap<K, V>, PersistentSortedMap<K, V>, PersistentSortedMaps.MergeConflictHandler<K, V>) - Static method in class org.sosy_lab.common.collect.PersistentSortedMaps: Merge two PersistentSortedMaps.
mergeStreams(OutputStream, OutputStream) - Static method in class org.sosy_lab.common.io.DuplicateOutputStream: Create an output stream that forwards to all given output streams, ignoring null parameters.
min() - Method in annotation type org.sosy_lab.common.configuration.IntegerOption: An optional minimum value for this option.
min() - Method in annotation type org.sosy_lab.common.configuration.TimeSpanOption: An optional minimum value for this option.
minus(ExtendedRational) - Method in class org.sosy_lab.common.rationals.ExtendedRational
minus(Rational) - Method in class org.sosy_lab.common.rationals.Rational: Return a new instance equal to this - b.
monomial(T, Rational) - Static method in class org.sosy_lab.common.rationals.LinearExpression: Return a monomial with a variable var and a coefficient coeff.
MoreCollectors - Class in org.sosy_lab.common.collect: Additional Collector implementation, similar to Collectors.
MoreFiles - Class in org.sosy_lab.common.io: Deprecated.
MoreFiles.DeleteOnCloseFile - Class in org.sosy_lab.common.io: Deprecated.
Use TempFile.DeleteOnCloseFile.
MoreStrings - Class in org.sosy_lab.common: Utility class for String-related helpers, similar to Strings.
MoreStrings.WithLongString - Interface in org.sosy_lab.common: Interface for classes that have a second, longer, string representation (with more information) in addition to Object.toString().
multByConst(Rational) - Method in class org.sosy_lab.common.rationals.LinearExpression: Multiply the linear expression by constant.
multiply(int) - Method in class org.sosy_lab.common.time.TimeSpan: Create a new time span that is the current one multiplied by a non-negative integral factor.

N

name() - Method in annotation type org.sosy_lab.common.configuration.Option: An optional name for the option as it appears in the configuration file.
NaN - org.sosy_lab.common.rationals.ExtendedRational.NumberType
NaN - Static variable in class org.sosy_lab.common.rationals.ExtendedRational
NativeLibraries - Class in org.sosy_lab.common: Helper class for loading native libraries.
NativeLibraries.Architecture - Enum in org.sosy_lab.common: Deprecated.
NativeLibraries.OS - Enum in org.sosy_lab.common: Deprecated.
navigableKeySet() - Method in interface org.sosy_lab.common.collect.OrderStatisticMap
NEG_INFTY - org.sosy_lab.common.rationals.ExtendedRational.NumberType
NEG_INFTY - Static variable in class org.sosy_lab.common.rationals.ExtendedRational
NEG_ONE - Static variable in class org.sosy_lab.common.rationals.Rational
negate() - Method in class org.sosy_lab.common.rationals.ExtendedRational
negate() - Method in class org.sosy_lab.common.rationals.LinearExpression: Negate the linear expression.
negate() - Method in class org.sosy_lab.common.rationals.Rational: Return negation of this.
NestedTimer - Class in org.sosy_lab.common.time: This class represents a timer similar to Timer, however it nests two timers.
NestedTimer() - Constructor for class org.sosy_lab.common.time.NestedTimer
newDaemonThread(String, Runnable) - Static method in class org.sosy_lab.common.Concurrency: Create a new daemon thread with a name.
newThread(String, Runnable) - Static method in class org.sosy_lab.common.Concurrency: Create a new non-daemon thread with a name.
noDeleteOnJvmExit() - Method in class org.sosy_lab.common.io.TempFile.TempFileBuilder: Do not automatically delete the file on JVM exit with File.deleteOnExit().
NullLogManager - Enum in org.sosy_lab.common.log: Deprecated.
Use LogManager.createNullLogManager() instead. This class will be made package-private.

O

of() - Static method in class org.sosy_lab.common.collect.PathCopyingPersistentTreeMap
of() - Static method in class org.sosy_lab.common.collect.PersistentLinkedList: Returns the empty list.
of(long) - Static method in class org.sosy_lab.common.rationals.Rational: Syntax sugar.
of(long, TimeUnit) - Static method in class org.sosy_lab.common.time.TimeSpan
of(String) - Static method in class org.sosy_lab.common.rationals.Rational: Syntax sugar helper for creating Rationals.
of(BigInteger, BigInteger) - Static method in class org.sosy_lab.common.rationals.Rational: Create a new rational from a numerator and a denominator.
of(T) - Static method in class org.sosy_lab.common.collect.PersistentLinkedList: Returns a list containing the specified value.
of(T, T) - Static method in class org.sosy_lab.common.collect.PersistentLinkedList: Returns a list containing the specified values.
of(T, T...) - Static method in class org.sosy_lab.common.collect.PersistentLinkedList: Returns a list containing the specified values.
of(T, T, T) - Static method in class org.sosy_lab.common.collect.PersistentLinkedList: Returns a list containing the specified values.
ofBigDecimal(BigDecimal) - Static method in class org.sosy_lab.common.rationals.Rational: Convert a given BigDecimal to Rational.
ofBigInteger(BigInteger) - Static method in class org.sosy_lab.common.rationals.Rational: Create a new rational equal to the given BigInteger.
ofFormatString(String) - Static method in class org.sosy_lab.common.io.PathCounterTemplate: Create a new instance.
ofFormatString(String) - Static method in class org.sosy_lab.common.io.PathTemplate: Create a new instance.
ofLong(long) - Static method in class org.sosy_lab.common.rationals.Rational: Create a new rational equal to the given long.
ofLongs(long, long) - Static method in class org.sosy_lab.common.rationals.Rational: Create a new rational from two longs.
ofMillis(long) - Static method in class org.sosy_lab.common.time.TimeSpan
ofNanos(long) - Static method in class org.sosy_lab.common.time.TimeSpan
ofSeconds(long) - Static method in class org.sosy_lab.common.time.TimeSpan
ofString(String) - Static method in class org.sosy_lab.common.rationals.ExtendedRational: Reverses the effect of ExtendedRational.toString().
ofString(String) - Static method in class org.sosy_lab.common.rationals.Rational: Reverses the effect of Rational.toString().
ofVariable(T) - Static method in class org.sosy_lab.common.rationals.LinearExpression: Create a monomial consisting of variable var with a coefficient of one.
ONE - Static variable in class org.sosy_lab.common.rationals.Rational
openOutputFile(Path, Charset, FileWriteMode...) - Static method in class org.sosy_lab.common.io.MoreFiles: Deprecated.
moved to IO
openOutputFile(Path, Charset, OpenOption...) - Static method in class org.sosy_lab.common.io.IO: Open a buffered Writer to a file.
Option - Annotation Type in org.sosy_lab.common.configuration: An annotation to mark fields or methods which should get configuration values injected.
OPTIONAL_INPUT_FILE - org.sosy_lab.common.configuration.FileOption.Type: The file specified with this option is a file (i.e., no directory), but it needs not exist.
Optionals - Class in org.sosy_lab.common: Utilities for Optional.
OptionAnnotationProcessor - Class in org.sosy_lab.common.configuration: Annotation processor for checking constraints on Option and Options annotations.
OptionAnnotationProcessor() - Constructor for class org.sosy_lab.common.configuration.OptionAnnotationProcessor
OptionCollector - Class in org.sosy_lab.common.configuration: This class collects all Options of a program.
OptionDetailAnnotation - Annotation Type in org.sosy_lab.common.configuration: This is a meta annotation that marks other annotation which may be used in conjunction with Option to provide more information for a specific option type.
Options - Annotation Type in org.sosy_lab.common.configuration: Annotation for a class which has fields or methods with an Option annotation.
OrderStatisticMap<K,V extends @Nullable Object> - Interface in org.sosy_lab.common.collect: A NavigableMap that allows two additional operations: receiving (and deleting) an entry by its rank, and getting the rank of an entry.
OrderStatisticMapFactory() - Constructor for class org.sosy_lab.common.collect.OrderStatisticMapTestSuite.OrderStatisticMapFactory
OrderStatisticMapTestSuite - Class in org.sosy_lab.common.collect
OrderStatisticMapTestSuite.OrderStatisticMapFactory - Class in org.sosy_lab.common.collect
OrderStatisticSet<E> - Interface in org.sosy_lab.common.collect: A NavigableSet that allows two additional operations: receiving (and deleting) an element by its rank, and getting the rank of an element.
OrderStatisticSetFactory() - Constructor for class org.sosy_lab.common.collect.OrderStatisticSetTestSuite.OrderStatisticSetFactory
OrderStatisticSetTestSuite - Class in org.sosy_lab.common.collect
OrderStatisticSetTestSuite.OrderStatisticSetFactory - Class in org.sosy_lab.common.collect
org.sosy_lab.common - package org.sosy_lab.common: This package contains general utilities that do not fit anywhere else.
org.sosy_lab.common.annotations - package org.sosy_lab.common.annotations: This package contains several general-purpose annotations.
org.sosy_lab.common.collect - package org.sosy_lab.common.collect: This package contains additional interfaces and implementations for collections, as well as further collection utilities.
org.sosy_lab.common.configuration - package org.sosy_lab.common.configuration: Java-Config is a library for injecting configuration options in a decentralized way.
org.sosy_lab.common.configuration.converters - package org.sosy_lab.common.configuration.converters: This package provides the possibility to convert String values into appropriate objects of certain types.
org.sosy_lab.common.io - package org.sosy_lab.common.io: This package contains utilities for I/O.
org.sosy_lab.common.log - package org.sosy_lab.common.log: This package provides a logging framework.
org.sosy_lab.common.rationals - package org.sosy_lab.common.rationals: Java-Rationals is a library for working with rationals and extended rationals in Java.
org.sosy_lab.common.time - package org.sosy_lab.common.time: This package provides possibilities for measuring elapsed time, and a data class TimeSpan for storing time spans together with the respective time unit.
OUTPUT_DIRECTORY - org.sosy_lab.common.configuration.FileOption.Type: The directory specified with this option will be created by the tool.
OUTPUT_FILE - org.sosy_lab.common.configuration.FileOption.Type: The file specified with this option will be created by the tool.

P

packagePrefix() - Method in annotation type org.sosy_lab.common.configuration.ClassOption: This field provides optional package prefixes that can be added to the specified class name.
pair(T, Rational) - Static method in class org.sosy_lab.common.rationals.LinearExpression: Deprecated.
Use LinearExpression.monomial(T, org.sosy_lab.common.rationals.Rational) instead.
PathCopyingPersistentTreeMap<K extends Comparable<? super K>,V extends @Nullable Object> - Class in org.sosy_lab.common.collect: This is an implementation of PersistentSortedMap that is based on left-leaning red-black trees (LLRB) and path copying.
PathCounterTemplate - Class in org.sosy_lab.common.io: A template for Path objects that uses a counter to produce paths with a fresh new name for every request.
PathTemplate - Class in org.sosy_lab.common.io: A template for paths, from which a real path can be constructed by passing some values to fill in the blanks.
PersistentLinkedList<T> - Class in org.sosy_lab.common.collect: A single-linked-list implementation of PersistentList.
PersistentList<T> - Interface in org.sosy_lab.common.collect: Interface for persistent lists.
PersistentMap<K,V extends @Nullable Object> - Interface in org.sosy_lab.common.collect: Interface for persistent map.
PersistentSortedMap<K,V extends @Nullable Object> - Interface in org.sosy_lab.common.collect: Sub-interface of PersistentMap analog to NavigableMap.
PersistentSortedMaps - Class in org.sosy_lab.common.collect: Utility class for PersistentSortedMaps.
PersistentSortedMaps.MergeConflictHandler<K,V> - Interface in org.sosy_lab.common.collect: A callback that is used when a key with two different values is encountered during the merge of two maps.
plus(ExtendedRational) - Method in class org.sosy_lab.common.rationals.ExtendedRational
plus(Rational) - Method in class org.sosy_lab.common.rationals.Rational: Return a new instance equal to the sum of this and b.
pollFirstEntry() - Method in class org.sosy_lab.common.collect.CopyOnWriteSortedMap: This method is not starvation free, and thus not strictly guaranteed to terminate in presence of concurrent modifying operations.
pollFirstEntry() - Method in interface org.sosy_lab.common.collect.PersistentSortedMap: Deprecated.
Unsupported operation.
pollLastEntry() - Method in class org.sosy_lab.common.collect.CopyOnWriteSortedMap: This method is not starvation free, and thus not strictly guaranteed to terminate in presence of concurrent modifying operations.
pollLastEntry() - Method in interface org.sosy_lab.common.collect.PersistentSortedMap: Deprecated.
Unsupported operation.
prefix() - Method in annotation type org.sosy_lab.common.configuration.Options: An optional prefix for all configuration options of the class annotated with this type.
prefix(String) - Method in class org.sosy_lab.common.io.TempFile.TempFileBuilder: Prefix of randomly-generated file name.
presentDoubles(Stream<OptionalDouble>) - Static method in class org.sosy_lab.common.Optionals: Get a DoubleStream of the present doubles of a stream of OptionalDoubles.
presentInstances(Iterable<Optional<T>>) - Static method in class org.sosy_lab.common.Optionals: Get an Iterable of the present instances of an iterable of Optionals.
presentInstances(Stream<Optional<T>>) - Static method in class org.sosy_lab.common.Optionals: Get a Stream of the present instances of a stream of Optionals.
presentInts(Stream<OptionalInt>) - Static method in class org.sosy_lab.common.Optionals: Get a IntStream of the present integers of a stream of OptionalInts.
presentLongs(Stream<OptionalLong>) - Static method in class org.sosy_lab.common.Optionals: Get a LongStream of the present longs of a stream of OptionalLongs.
prettyFormat() - Method in class org.sosy_lab.common.time.Timer: Syntax sugar method: pretty-format the timer output into a string in seconds.
print(String) - Method in class org.sosy_lab.common.ProcessExecutor: Write a String to the process.
println(String) - Method in class org.sosy_lab.common.ProcessExecutor: Write a String to the process.
process(Set<? extends TypeElement>, RoundEnvironment) - Method in class org.sosy_lab.common.configuration.OptionAnnotationProcessor
ProcessExecutor<E extends Exception> - Class in org.sosy_lab.common: This class can be used to execute a separate process and read its output in a convenient way.
ProcessExecutor(LogManager, Class<E>, File, String...) - Constructor for class org.sosy_lab.common.ProcessExecutor: See ProcessExecutor(LogManager, Class, File, String...).
ProcessExecutor(LogManager, Class<E>, String...) - Constructor for class org.sosy_lab.common.ProcessExecutor: See ProcessExecutor(LogManager, Class, String...).
ProcessExecutor(LogManager, Class<E>, Map<String, String>, File, String...) - Constructor for class org.sosy_lab.common.ProcessExecutor: Create an instance and immediately execute the supplied command with the supplied environment variables.
ProcessExecutor(LogManager, Class<E>, Map<String, String>, String...) - Constructor for class org.sosy_lab.common.ProcessExecutor: See ProcessExecutor(LogManager, Class, Map, String...).
produceClassLoadingWarning(LogManager, Class<?>, Class<?>) - Static method in class org.sosy_lab.common.Classes
publish(LogRecord) - Method in class org.sosy_lab.common.log.StringBuildingLogHandler
put(K, V) - Method in class org.sosy_lab.common.collect.CopyOnWriteSortedMap: This method is not starvation free, and thus not strictly guaranteed to terminate in presence of concurrent modifying operations.
put(K, V) - Method in interface org.sosy_lab.common.collect.PersistentMap: Deprecated.
Unsupported operation.
putAll(Map<? extends K, ? extends V>) - Method in class org.sosy_lab.common.collect.CopyOnWriteSortedMap: This method is not atomic! It inserts all keys one after the other, and in between each operation arbitrary operations from other threads might get executed.
putAll(Map<? extends K, ? extends V>) - Method in interface org.sosy_lab.common.collect.PersistentMap: Deprecated.
Unsupported operation.
putAndCopy(K, V) - Method in class org.sosy_lab.common.collect.PathCopyingPersistentTreeMap
putAndCopy(K, V) - Method in interface org.sosy_lab.common.collect.PersistentMap: Replacement for {PersistentMap.put(Object, Object) that returns a fresh instance.
putAndCopy(K, V) - Method in interface org.sosy_lab.common.collect.PersistentSortedMap
putIfAbsent(K, V) - Method in interface org.sosy_lab.common.collect.PersistentMap: Deprecated.
Unsupported operation.

R

rankOf(E) - Method in interface org.sosy_lab.common.collect.OrderStatisticSet: Return the rank of the given element in this set.
rankOf(K) - Method in interface org.sosy_lab.common.collect.OrderStatisticMap: Return the rank of the entry with the given key in this map.
Rational - Class in org.sosy_lab.common.rationals: Rational class, throws IllegalArgumentException on unsupported operations (e.g.
RATIONAL - org.sosy_lab.common.rationals.ExtendedRational.NumberType
reciprocal() - Method in class org.sosy_lab.common.rationals.ExtendedRational
reciprocal() - Method in class org.sosy_lab.common.rationals.Rational: Return reciprocal of this.
recursiveInject(Object) - Method in class org.sosy_lab.common.configuration.Configuration: Call Configuration.inject(Object, Class) for this object with its actual class and all super class that have an Options annotation.
regexp() - Method in annotation type org.sosy_lab.common.configuration.Option: If regexp is specified, the value of this option (prior to conversion to the correct type) will be checked against this regular expression.
register() - Method in class org.sosy_lab.common.AbstractMBean: Register this instance at the platform MBeanServer.
register(ShutdownNotifier.ShutdownRequestListener) - Method in class org.sosy_lab.common.ShutdownNotifier: Register a listener that will be notified once a shutdown is requested for the first time on the associated ShutdownManager instance with ShutdownManager.requestShutdown(String).
registerAndCheckImmediately(ShutdownNotifier.ShutdownRequestListener) - Method in class org.sosy_lab.common.ShutdownNotifier: Register a listener that will be notified once a shutdown is requested for the first time on the associated ShutdownManager instance with ShutdownManager.requestShutdown(String), or immediately if this was already the case.
remove(int) - Method in interface org.sosy_lab.common.collect.PersistentList: Deprecated.
Unsupported operation.
remove(Object) - Method in class org.sosy_lab.common.collect.CopyOnWriteSortedMap: This method is not starvation free, and thus not strictly guaranteed to terminate in presence of concurrent modifying operations.
remove(Object) - Method in interface org.sosy_lab.common.collect.PersistentList: Deprecated.
Unsupported operation.
remove(Object) - Method in interface org.sosy_lab.common.collect.PersistentMap: Deprecated.
Unsupported operation.
remove(Object, Object) - Method in interface org.sosy_lab.common.collect.PersistentMap: Deprecated.
Unsupported operation.
removeAll(Collection<?>) - Method in interface org.sosy_lab.common.collect.PersistentList: Deprecated.
Unsupported operation.
removeAndCopy(Object) - Method in class org.sosy_lab.common.collect.PathCopyingPersistentTreeMap
removeAndCopy(Object) - Method in interface org.sosy_lab.common.collect.PersistentMap: Replacement for {PersistentMap.remove(Object) that returns a fresh instance.
removeAndCopy(Object) - Method in interface org.sosy_lab.common.collect.PersistentSortedMap
removeByRank(int) - Method in interface org.sosy_lab.common.collect.OrderStatisticMap: Remove the entry of this map with the given rank and return its key.
removeByRank(int) - Method in interface org.sosy_lab.common.collect.OrderStatisticSet: Remove the element of this set with the given rank and return it.
replace(K, V) - Method in interface org.sosy_lab.common.collect.PersistentMap: Deprecated.
Unsupported operation.
replace(K, V, V) - Method in interface org.sosy_lab.common.collect.PersistentMap: Deprecated.
Unsupported operation.
replaceAll(BiFunction<? super K, ? super V, ? extends V>) - Method in interface org.sosy_lab.common.collect.PersistentMap: Deprecated.
Unsupported operation.
replaceAll(UnaryOperator<T>) - Method in class org.sosy_lab.common.collect.PersistentLinkedList: Deprecated.
replaceAll(UnaryOperator<T>) - Method in interface org.sosy_lab.common.collect.PersistentList: Deprecated.
Unsupported operation.
requestShutdown(String) - Method in class org.sosy_lab.common.ShutdownManager: Request a shutdown of all components that check the associated ShutdownNotifier, by letting ShutdownNotifier.shouldShutdown() return true in the future, and by notifying all registered listeners.
required() - Method in annotation type org.sosy_lab.common.configuration.Option: An optional flag if this option needs to be specified in the configuration file.
REQUIRED_INPUT_FILE - org.sosy_lab.common.configuration.FileOption.Type: The file specified with this option is a required input file (a non-existing file will be considered an invalid configuration).
resetSeenMessages() - Method in class org.sosy_lab.common.log.LogManagerWithoutDuplicates: Reset all seen log messages, such that LogManagerWithoutDuplicates.logfOnce(Level, String, Object...) and LogManagerWithoutDuplicates.logfOnce(Level, String, Object...) will be guaranteed to behave exactly like in a fresh instance of this class.
resolveConflict(K, V, V) - Method in interface org.sosy_lab.common.collect.PersistentSortedMaps.MergeConflictHandler: Resolve a conflict for one given key.
retainAll(Collection<?>) - Method in interface org.sosy_lab.common.collect.PersistentList: Deprecated.
Unsupported operation.
ReturnValuesAreNonnullByDefault - Annotation Type in org.sosy_lab.common.annotations: An annotation similar to ParametersAreNonnullByDefault that defines that all methods inside the annotated element do not return null, unless this is overridden with another annotation.
reversed() - Method in class org.sosy_lab.common.collect.PersistentLinkedList: Returns a new list with the elements in the reverse order.
reversed() - Method in interface org.sosy_lab.common.collect.PersistentList: Returns a new list with the elements in the reverse order.
rightValueOnly(K, V) - Method in class org.sosy_lab.common.collect.MapsDifference.DefaultVisitor
rightValueOnly(K, V) - Method in interface org.sosy_lab.common.collect.MapsDifference.Visitor
run() - Method in class org.sosy_lab.common.LazyFutureTask

S

secure() - Method in annotation type org.sosy_lab.common.configuration.Option: An optional flag that this configuration option is secure, i.e., setting it to an arbitrary attacker-controlled value may not allow any harm (like abitrary code execution).
sendEOF() - Method in class org.sosy_lab.common.ProcessExecutor: Sends the EOF (end of file) signal to stdin of the process.
set(int, T) - Method in interface org.sosy_lab.common.collect.PersistentList: Deprecated.
Unsupported operation.
setConsoleLevel(String) - Method in interface org.sosy_lab.common.log.BasicLogManager.LogManagerMXBean
setCustomLookupNativeLibraries(String...) - Method in class org.sosy_lab.common.Classes.ClassLoaderBuilder: See Classes.ClassLoaderBuilder.setCustomLookupNativeLibraries(Predicate).
setCustomLookupNativeLibraries(Predicate<String>) - Method in class org.sosy_lab.common.Classes.ClassLoaderBuilder: Set a predicate that specifies for which native libraries we should use a custom lookup for the binary as documented in NativeLibraries.
setCustomLookupNativeLibraries(Pattern) - Method in class org.sosy_lab.common.Classes.ClassLoaderBuilder: See Classes.ClassLoaderBuilder.setCustomLookupNativeLibraries(Predicate).
setDirectLoadClasses(Predicate<String>) - Method in class org.sosy_lab.common.Classes.ClassLoaderBuilder: Set a predicate that specifies which classes are forced to be loaded by the new class loader and not its parent, even if the latter could load them.
setDirectLoadClasses(Pattern) - Method in class org.sosy_lab.common.Classes.ClassLoaderBuilder: See Classes.ClassLoaderBuilder.setDirectLoadClasses(Predicate).
setOption(String, String) - Method in class org.sosy_lab.common.configuration.ConfigurationBuilder: Set a single option.
setOptions(Map<String, String>) - Method in class org.sosy_lab.common.configuration.ConfigurationBuilder: Add all options from a map.
setParent(ClassLoader) - Method in class org.sosy_lab.common.Classes.ClassLoaderBuilder: Set parent of new class loader.
setParentAndUrls(URLClassLoader) - Method in class org.sosy_lab.common.Classes.ClassLoaderBuilder: Set an URLClassLoader as parent and its URLs from URLClassLoader.getURLs() as sources for new class loader.
setPrefix(String) - Method in class org.sosy_lab.common.configuration.ConfigurationBuilder: Set the optional prefix for new configuration.
setSourceComponentName(String) - Method in class org.sosy_lab.common.log.ExtendedLogRecord
setUrls(Iterable<URL>) - Method in class org.sosy_lab.common.Classes.ClassLoaderBuilder: Set sources for classes of new class loader just like for URLClassLoader (this or Classes.ClassLoaderBuilder.setUrls(URL...) are required).
setUrls(URL...) - Method in class org.sosy_lab.common.Classes.ClassLoaderBuilder: Set sources for classes of new class loader just like for URLClassLoader (this or Classes.ClassLoaderBuilder.setUrls(Iterable) are required).
shouldShutdown() - Method in class org.sosy_lab.common.ShutdownNotifier: Check whether a shutdown was previously requested.
shutdownIfNecessary() - Method in class org.sosy_lab.common.ShutdownNotifier: Check whether a shutdown was previously requested, and throw an InterruptedException in this case.
ShutdownManager - Class in org.sosy_lab.common: Together with ShutdownNotifier, this class implements a service for distributing shutdown requests throughout an application's component, potentially in a hierarchy.
ShutdownNotifier - Class in org.sosy_lab.common: This class allows code to check whether it should terminate for some reason, and to be notified of such requests.
ShutdownNotifier.ShutdownRequestListener - Interface in org.sosy_lab.common
shutdownRequested(String) - Method in interface org.sosy_lab.common.ShutdownNotifier.ShutdownRequestListener: This method is called on registered listeners the first time ShutdownManager.requestShutdown(String) on the associated ShutdownManager instance is called.
signum() - Method in class org.sosy_lab.common.rationals.Rational: Returns -1, 0 or 1, representing the sign of the rational number.
size() - Method in class org.sosy_lab.common.collect.PathCopyingPersistentTreeMap
size() - Method in class org.sosy_lab.common.collect.PersistentLinkedList: Returns the number of elements in the list.
size() - Method in class org.sosy_lab.common.rationals.LinearExpression: Returns number of variables with non-zero coefficients.
sort(Comparator<? super T>) - Method in class org.sosy_lab.common.collect.PersistentLinkedList: Deprecated.
sort(Comparator<? super T>) - Method in interface org.sosy_lab.common.collect.PersistentList: Deprecated.
Unsupported operation.
start() - Method in class org.sosy_lab.common.time.Timer: Start the timer.
startBoth() - Method in class org.sosy_lab.common.time.NestedTimer: Start both timers.
startOuter() - Method in class org.sosy_lab.common.time.NestedTimer: Start the outer timer.
startsWithIgnoreCase(String, String) - Static method in class org.sosy_lab.common.MoreStrings: Check whether a string starts with a given prefix similar to String.startsWith(String), but ignoring the case like String.equalsIgnoreCase(String).
stop() - Method in class org.sosy_lab.common.time.Timer: Stop the timer.
stopBoth() - Method in class org.sosy_lab.common.time.NestedTimer
stopIfRunning() - Method in class org.sosy_lab.common.time.Timer
stopOuter() - Method in class org.sosy_lab.common.time.NestedTimer: Stop the outer timer.
StringBuildingLogHandler - Class in org.sosy_lab.common.log: This class may be used to read the log into a String.
StringBuildingLogHandler() - Constructor for class org.sosy_lab.common.log.StringBuildingLogHandler
sub(LinearExpression<T>) - Method in class org.sosy_lab.common.rationals.LinearExpression: Subtract other linear expression.
subMap(K, boolean, K, boolean) - Method in interface org.sosy_lab.common.collect.OrderStatisticMap
subMap(K, boolean, K, boolean) - Method in class org.sosy_lab.common.collect.PathCopyingPersistentTreeMap
subMap(K, boolean, K, boolean) - Method in interface org.sosy_lab.common.collect.PersistentSortedMap
subMap(K, K) - Method in class org.sosy_lab.common.collect.CopyOnWriteSortedMap
subMap(K, K) - Method in interface org.sosy_lab.common.collect.OrderStatisticMap
subMap(K, K) - Method in interface org.sosy_lab.common.collect.PersistentSortedMap
subMapWithPrefix(NavigableMap<String, V>, String) - Static method in class org.sosy_lab.common.collect.Collections3: Given a NavigableMap with Strings as key, return a partial map (similar to NavigableMap.subMap(Object, Object)) of all keys that have a given prefix.
subMapWithPrefix(SortedMap<String, V>, String) - Static method in class org.sosy_lab.common.collect.Collections3: Given a SortedMap with Strings as key, return a partial map (similar to SortedMap.subMap(Object, Object)) of all keys that have a given prefix.
subSet(E, boolean, E, boolean) - Method in interface org.sosy_lab.common.collect.OrderStatisticSet
subSet(E, E) - Method in interface org.sosy_lab.common.collect.OrderStatisticSet
subSetWithPrefix(NavigableSet<String>, String) - Static method in class org.sosy_lab.common.collect.Collections3: Given a NavigableSet of String, return a set (similar to NavigableSet.subSet(Object, Object)) of all entries that have a given prefix.
subSetWithPrefix(SortedSet<String>, String) - Static method in class org.sosy_lab.common.collect.Collections3: Given a SortedSet of String, return a set (similar to SortedSet.subSet(Object, Object)) of all entries that have a given prefix.
subtractFrom(Temporal) - Method in class org.sosy_lab.common.time.TimeSpan
suffix(String) - Method in class org.sosy_lab.common.io.TempFile.TempFileBuilder: Suffix of randomly generated file name, default is .tmp.
sum(Iterable<TimeSpan>) - Static method in class org.sosy_lab.common.time.TimeSpan: Create a new time span that is the sum of several time spans.
sum(TimeSpan...) - Static method in class org.sosy_lab.common.time.TimeSpan: Create a new time span that is the sum of several time spans.
sum(TimeSpan, TimeSpan) - Static method in class org.sosy_lab.common.time.TimeSpan: Create a new time span that is the sum of two time spans.
SuppressForbidden - Annotation Type in org.sosy_lab.common.annotations: Annotation similar to SuppressWarnings, but intended to be used with https://github.com/policeman-tools/forbidden-apis.

T

tail() - Method in class org.sosy_lab.common.collect.PersistentLinkedList: Returns the remainder of the list without the first element.
tailMap(K) - Method in class org.sosy_lab.common.collect.CopyOnWriteSortedMap
tailMap(K) - Method in interface org.sosy_lab.common.collect.OrderStatisticMap
tailMap(K) - Method in interface org.sosy_lab.common.collect.PersistentSortedMap
tailMap(K, boolean) - Method in interface org.sosy_lab.common.collect.OrderStatisticMap
tailMap(K, boolean) - Method in class org.sosy_lab.common.collect.PathCopyingPersistentTreeMap
tailMap(K, boolean) - Method in interface org.sosy_lab.common.collect.PersistentSortedMap
tailSet(E) - Method in interface org.sosy_lab.common.collect.OrderStatisticSet
tailSet(E, boolean) - Method in interface org.sosy_lab.common.collect.OrderStatisticSet
TempFile - Class in org.sosy_lab.common.io: Utilities for temporary files.
TempFile.DeleteOnCloseDir - Class in org.sosy_lab.common.io: A simple wrapper around Path that calls MoreFiles.deleteRecursively(Path, com.google.common.io.RecursiveDeleteOption...) recursively from AutoCloseable.close() to delete the directory including its contents.
TempFile.DeleteOnCloseFile - Class in org.sosy_lab.common.io: A simple wrapper around Path that calls Files.deleteIfExists(Path) from AutoCloseable.close().
TempFile.TempFileBuilder - Class in org.sosy_lab.common.io
testEquals() - Method in class org.sosy_lab.common.collect.OrderStatisticMapTestSuite
testEquals() - Method in class org.sosy_lab.common.collect.OrderStatisticSetTestSuite
testGetByRank_descendingSetFirstElement() - Method in class org.sosy_lab.common.collect.OrderStatisticSetTestSuite
testGetByRank_descendingSetLastElement() - Method in class org.sosy_lab.common.collect.OrderStatisticSetTestSuite
testGetByRank_descendingSetSecondElement() - Method in class org.sosy_lab.common.collect.OrderStatisticSetTestSuite
testGetByRank_outOfBounds() - Method in class org.sosy_lab.common.collect.OrderStatisticSetTestSuite
testGetByRank_subsetFirst() - Method in class org.sosy_lab.common.collect.OrderStatisticSetTestSuite
testGetByRank_subsetLast() - Method in class org.sosy_lab.common.collect.OrderStatisticSetTestSuite
testGetByRank_valid() - Method in class org.sosy_lab.common.collect.OrderStatisticSetTestSuite
testGetEntryByRank_descendingMapFirstElement() - Method in class org.sosy_lab.common.collect.OrderStatisticMapTestSuite
testGetEntryByRank_descendingMapLastElement() - Method in class org.sosy_lab.common.collect.OrderStatisticMapTestSuite
testGetEntryByRank_descendingMapSecondElement() - Method in class org.sosy_lab.common.collect.OrderStatisticMapTestSuite
testGetEntryByRank_outOfBounds() - Method in class org.sosy_lab.common.collect.OrderStatisticMapTestSuite
testGetEntryByRank_submapFirst() - Method in class org.sosy_lab.common.collect.OrderStatisticMapTestSuite
testGetEntryByRank_submapLast() - Method in class org.sosy_lab.common.collect.OrderStatisticMapTestSuite
testGetEntryByRank_valid() - Method in class org.sosy_lab.common.collect.OrderStatisticMapTestSuite
testGetKeyByRank_descendingMapFirstElement() - Method in class org.sosy_lab.common.collect.OrderStatisticMapTestSuite
testGetKeyByRank_descendingMapLastElement() - Method in class org.sosy_lab.common.collect.OrderStatisticMapTestSuite
testGetKeyByRank_descendingMapSecondElement() - Method in class org.sosy_lab.common.collect.OrderStatisticMapTestSuite
testGetKeyByRank_outOfBounds() - Method in class org.sosy_lab.common.collect.OrderStatisticMapTestSuite
testGetKeyByRank_submapFirst() - Method in class org.sosy_lab.common.collect.OrderStatisticMapTestSuite
testGetKeyByRank_submapLast() - Method in class org.sosy_lab.common.collect.OrderStatisticMapTestSuite
testGetKeyByRank_valid() - Method in class org.sosy_lab.common.collect.OrderStatisticMapTestSuite
testKeyset_mutation() - Method in class org.sosy_lab.common.collect.OrderStatisticMapTestSuite
TestLogManager - Enum in org.sosy_lab.common.log: Deprecated.
Use LogManager.createTestLogManager() instead. This class will be made package-private.
testRankOf_descendingMapFirstElement() - Method in class org.sosy_lab.common.collect.OrderStatisticMapTestSuite
testRankOf_descendingMapLastElement() - Method in class org.sosy_lab.common.collect.OrderStatisticMapTestSuite
testRankOf_descendingMapSecondElement() - Method in class org.sosy_lab.common.collect.OrderStatisticMapTestSuite
testRankOf_descendingSetFirstElement() - Method in class org.sosy_lab.common.collect.OrderStatisticSetTestSuite
testRankOf_descendingSetLastElement() - Method in class org.sosy_lab.common.collect.OrderStatisticSetTestSuite
testRankOf_descendingSetSecondElement() - Method in class org.sosy_lab.common.collect.OrderStatisticSetTestSuite
testRankOf_firstElement() - Method in class org.sosy_lab.common.collect.OrderStatisticMapTestSuite
testRankOf_firstElement() - Method in class org.sosy_lab.common.collect.OrderStatisticSetTestSuite
testRankOf_lastElement() - Method in class org.sosy_lab.common.collect.OrderStatisticMapTestSuite
testRankOf_lastElement() - Method in class org.sosy_lab.common.collect.OrderStatisticSetTestSuite
testRankOf_secondElement() - Method in class org.sosy_lab.common.collect.OrderStatisticMapTestSuite
testRankOf_secondElement() - Method in class org.sosy_lab.common.collect.OrderStatisticSetTestSuite
testRankOf_subMapFirstElement() - Method in class org.sosy_lab.common.collect.OrderStatisticMapTestSuite
testRankOf_subMapLastElement() - Method in class org.sosy_lab.common.collect.OrderStatisticMapTestSuite
testRankOf_subMapSecondElement() - Method in class org.sosy_lab.common.collect.OrderStatisticMapTestSuite
testRankOf_subSetFirstElement() - Method in class org.sosy_lab.common.collect.OrderStatisticSetTestSuite
testRankOf_subSetLastElement() - Method in class org.sosy_lab.common.collect.OrderStatisticSetTestSuite
testRankOf_subSetSecondElement() - Method in class org.sosy_lab.common.collect.OrderStatisticSetTestSuite
testRemoveByRank_descendingMapFirstElement() - Method in class org.sosy_lab.common.collect.OrderStatisticMapTestSuite
testRemoveByRank_descendingMapLastElement() - Method in class org.sosy_lab.common.collect.OrderStatisticMapTestSuite
testRemoveByRank_descendingSetFirstElement() - Method in class org.sosy_lab.common.collect.OrderStatisticSetTestSuite
testRemoveByRank_descendingSetLastElement() - Method in class org.sosy_lab.common.collect.OrderStatisticSetTestSuite
testRemoveByRank_invalid() - Method in class org.sosy_lab.common.collect.OrderStatisticMapTestSuite
testRemoveByRank_invalid() - Method in class org.sosy_lab.common.collect.OrderStatisticSetTestSuite
testRemoveByRank_submapFirst() - Method in class org.sosy_lab.common.collect.OrderStatisticMapTestSuite
testRemoveByRank_submapLast() - Method in class org.sosy_lab.common.collect.OrderStatisticMapTestSuite
testRemoveByRank_subsetFirst() - Method in class org.sosy_lab.common.collect.OrderStatisticSetTestSuite
testRemoveByRank_subsetLast() - Method in class org.sosy_lab.common.collect.OrderStatisticSetTestSuite
testRemoveByRank_valid() - Method in class org.sosy_lab.common.collect.OrderStatisticMapTestSuite
testRemoveByRank_valid() - Method in class org.sosy_lab.common.collect.OrderStatisticSetTestSuite
testSerialize() - Method in class org.sosy_lab.common.collect.OrderStatisticMapTestSuite
testSerialize() - Method in class org.sosy_lab.common.collect.OrderStatisticSetTestSuite
testSubmapView_descending() - Method in class org.sosy_lab.common.collect.OrderStatisticMapTestSuite
testSubmapView_mutation() - Method in class org.sosy_lab.common.collect.OrderStatisticMapTestSuite
testSubmapView_outOfBounds_add() - Method in class org.sosy_lab.common.collect.OrderStatisticMapTestSuite
testSubmapView_outOfBounds_contains() - Method in class org.sosy_lab.common.collect.OrderStatisticMapTestSuite
testSubmapView_outOfBounds_remove() - Method in class org.sosy_lab.common.collect.OrderStatisticMapTestSuite
testSubmapView_submapOfSubmap() - Method in class org.sosy_lab.common.collect.OrderStatisticMapTestSuite
testSubsetView_descending() - Method in class org.sosy_lab.common.collect.OrderStatisticSetTestSuite
testSubsetView_mutation() - Method in class org.sosy_lab.common.collect.OrderStatisticSetTestSuite
testSubsetView_outOfBounds_add() - Method in class org.sosy_lab.common.collect.OrderStatisticSetTestSuite
testSubsetView_outOfBounds_contains() - Method in class org.sosy_lab.common.collect.OrderStatisticSetTestSuite
testSubsetView_outOfBounds_remove() - Method in class org.sosy_lab.common.collect.OrderStatisticSetTestSuite
testSubsetView_subsetOfSubset() - Method in class org.sosy_lab.common.collect.OrderStatisticSetTestSuite
Tickers - Class in org.sosy_lab.common.time: Class providing several convenient Ticker implementations.
Tickers.TickerWithUnit - Class in org.sosy_lab.common.time
TickerWithUnit() - Constructor for class org.sosy_lab.common.time.Tickers.TickerWithUnit
Timer - Class in org.sosy_lab.common.time: This class represents a timer like a stop watch.
Timer() - Constructor for class org.sosy_lab.common.time.Timer: Create a fresh timer in the not-running state.
times(ExtendedRational) - Method in class org.sosy_lab.common.rationals.ExtendedRational
times(Rational) - Method in class org.sosy_lab.common.rationals.Rational: Multiply by b, return a new instance.
TimeSpan - Class in org.sosy_lab.common.time: This is an immutable representation of some time span, using a TimeUnit and a value.
TimeSpanOption - Annotation Type in org.sosy_lab.common.configuration: This is an annotation for all integer options that specify some sort of time duration (e.g., a timeout).
TimeSpanTypeConverter - Class in org.sosy_lab.common.configuration.converters: Type converter for options annotated with TimeSpanOption.
TimeSpanTypeConverter() - Constructor for class org.sosy_lab.common.configuration.converters.TimeSpanTypeConverter
TimestampedLogFormatter - Class in org.sosy_lab.common.log: Log formatter that produces output containing a timestamp.
TimestampedLogFormatter(boolean) - Constructor for class org.sosy_lab.common.log.TimestampedLogFormatter
toByteSink() - Method in class org.sosy_lab.common.io.TempFile.DeleteOnCloseFile
toByteSource() - Method in class org.sosy_lab.common.io.TempFile.DeleteOnCloseFile
toCharArray(CharSource) - Static method in class org.sosy_lab.common.io.IO: Read the full content of a CharSource to a char array.
toCharSink(Charset) - Method in class org.sosy_lab.common.io.TempFile.DeleteOnCloseFile
toCharSource(Charset) - Method in class org.sosy_lab.common.io.TempFile.DeleteOnCloseFile
toChecked(TimeUnit) - Method in class org.sosy_lab.common.time.TimeSpan: Return a TimeSpan that represents (approximately) the same time span, but whose unit is the given unit.
toDouble() - Method in class org.sosy_lab.common.rationals.ExtendedRational: Returns rational converted to double.
toGuavaOptional(Optional<T>) - Static method in class org.sosy_lab.common.Optionals: Deprecated.
use Optional.fromJavaUtil(Optional)
toImmutableList() - Static method in class org.sosy_lab.common.collect.MoreCollectors: Deprecated.
use ImmutableList.toImmutableList()
toImmutableSet() - Static method in class org.sosy_lab.common.collect.MoreCollectors: Deprecated.
use ImmutableList.toImmutableList()
toLongString() - Method in interface org.sosy_lab.common.MoreStrings.WithLongString: Return a string representation of this instance that has some more details than Object.toString().
toPath() - Method in class org.sosy_lab.common.io.MoreFiles.DeleteOnCloseFile: Deprecated.
toPath() - Method in class org.sosy_lab.common.io.TempFile.DeleteOnCloseDir
toPath() - Method in class org.sosy_lab.common.io.TempFile.DeleteOnCloseFile
toPathCopyingPersistentTreeMap(Function<? super T, ? extends K>, Function<? super T, ? extends V>) - Static method in class org.sosy_lab.common.collect.PathCopyingPersistentTreeMap: Return a Collector that accumulates elements into a PathCopyingPersistentTreeMap.
toPathCopyingPersistentTreeMap(Function<? super T, ? extends K>, Function<? super T, ? extends V>, BinaryOperator<V>) - Static method in class org.sosy_lab.common.collect.PathCopyingPersistentTreeMap: Return a Collector that accumulates elements into a PathCopyingPersistentTreeMap.
toPersistentLinkedList() - Static method in class org.sosy_lab.common.collect.MoreCollectors: Deprecated.
use PersistentLinkedList.toPersistentLinkedList()
toPersistentLinkedList() - Static method in class org.sosy_lab.common.collect.PersistentLinkedList: Return a Collector that creates PersistentLinkedLists and can be used in Stream.collect(Collector).
toSaturated(TimeUnit) - Method in class org.sosy_lab.common.time.TimeSpan: Return a TimeSpan that represents (approximately) the same time span, but whose unit is the given unit.
toString() - Method in class org.sosy_lab.common.Appenders.AbstractAppender
toString() - Method in class org.sosy_lab.common.configuration.Configuration
toString() - Method in class org.sosy_lab.common.io.PathCounterTemplate
toString() - Method in class org.sosy_lab.common.io.PathTemplate
toString() - Method in class org.sosy_lab.common.log.ExtendedLogRecord
toString() - Method in class org.sosy_lab.common.rationals.ExtendedRational: Returns one of TWO things.
toString() - Method in class org.sosy_lab.common.rationals.LinearExpression: Returns a pretty-printed form of the linear expression.
toString() - Method in class org.sosy_lab.common.rationals.Rational: Returns string of the form num/den.
toString() - Method in class org.sosy_lab.common.time.NestedTimer: Return a String with a default representation of the the sum of the times of total intervals.
toString() - Method in class org.sosy_lab.common.time.Timer: Return a String with a default representation of the the sum of the times of all intervals.
toString() - Method in class org.sosy_lab.common.time.TimeSpan
toString(Path, Charset) - Static method in class org.sosy_lab.common.io.MoreFiles: Deprecated.
use asCharSource(file, charset).read()
toString(Appender) - Static method in class org.sosy_lab.common.Appenders: Convert an Appender into a string by calling it's Appender.appendTo(Appendable) method.
toStringBuilder(CharSource) - Static method in class org.sosy_lab.common.io.IO: Read the full content of a CharSource to a new StringBuilder.
toStringWithTruncation(Appender, int) - Static method in class org.sosy_lab.common.Appenders: Convert an Appender into a string by calling it's Appender.appendTo(Appendable) method.
toUppercase() - Method in annotation type org.sosy_lab.common.configuration.Option: An optional flag that specifies if a configuration value should be converted to upper case after it was read.
transformedImmutableListCopy(Collection<T1>, Function<? super T1, T2>) - Static method in class org.sosy_lab.common.collect.Collections3: Apply a function to all elements in a collection and return an ImmutableList with the results.
transformedImmutableListCopy(T1[], Function<? super T1, T2>) - Static method in class org.sosy_lab.common.collect.Collections3: Apply a function to all elements in an array and return an ImmutableList with the results.
transformedImmutableSetCopy(Collection<T1>, Function<? super T1, T2>) - Static method in class org.sosy_lab.common.collect.Collections3: Apply a function to all elements in a collection and return an ImmutableSet with the results.
TypeConverter - Interface in org.sosy_lab.common.configuration.converters: TypeConverters are used to parse Strings into instances of specific types during configuration option injection as performed by Configuration.inject(Object).

U

UnexpectedCheckedException(String, Throwable) - Constructor for exception org.sosy_lab.common.Classes.UnexpectedCheckedException
UniqueIdGenerator - Class in org.sosy_lab.common: Utility class for generating unique.
UniqueIdGenerator() - Constructor for class org.sosy_lab.common.UniqueIdGenerator
unit() - Method in class org.sosy_lab.common.time.Tickers.TickerWithUnit
Unmaintained - Annotation Type in org.sosy_lab.common.annotations: Annotation for component that are considered unmaintained, and might have inferior quality.
unregister() - Method in class org.sosy_lab.common.AbstractMBean: Unregister this instance.
unregister(ShutdownNotifier.ShutdownRequestListener) - Method in class org.sosy_lab.common.ShutdownNotifier: Unregister a listener.
useColors() - Method in class org.sosy_lab.common.log.LoggingOptions

V

value() - Method in annotation type org.sosy_lab.common.annotations.SuppressForbidden: Description and explanation of what and why is suppressed.
value() - Method in class org.sosy_lab.common.configuration.AnnotatedValue
value() - Method in annotation type org.sosy_lab.common.configuration.FileOption: More details for file options.
valueOf(Class<?>, String, String) - Static method in enum org.sosy_lab.common.configuration.converters.BaseTypeConverter: Invoke the static "valueOf(String)" method on a class.
valueOf(String) - Static method in enum org.sosy_lab.common.configuration.converters.BaseTypeConverter: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.sosy_lab.common.configuration.FileOption.Type: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.sosy_lab.common.log.NullLogManager: Deprecated.

Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.sosy_lab.common.log.TestLogManager: Deprecated.

Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.sosy_lab.common.NativeLibraries.Architecture: Deprecated.

Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.sosy_lab.common.NativeLibraries.OS: Deprecated.

Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.sosy_lab.common.rationals.ExtendedRational.NumberType: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in class org.sosy_lab.common.time.TimeSpan: Converts the given String into a TimeSpan object.
values() - Method in class org.sosy_lab.common.collect.CopyOnWriteSortedMap
values() - Static method in enum org.sosy_lab.common.configuration.converters.BaseTypeConverter: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum org.sosy_lab.common.configuration.FileOption.Type: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Method in annotation type org.sosy_lab.common.configuration.Option: If values is non-empty, the value of this option (prior to conversion to the correct type) will be checked if it is listed in this array.
values() - Static method in enum org.sosy_lab.common.log.NullLogManager: Deprecated.

Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum org.sosy_lab.common.log.TestLogManager: Deprecated.

Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum org.sosy_lab.common.NativeLibraries.Architecture: Deprecated.

Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum org.sosy_lab.common.NativeLibraries.OS: Deprecated.

Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum org.sosy_lab.common.rationals.ExtendedRational.NumberType: Returns an array containing the constants of this enum type, in the order they are declared.
verifyDeclaredExceptions(Invokable<?, ?>, Class<?>...) - Static method in class org.sosy_lab.common.Classes: Verify that a constructor or method declares no other checked exceptions except a given type.
verifyDeclaredExceptions(Executable, Class<?>...) - Static method in class org.sosy_lab.common.Classes: Verify that a constructor or method declares no other checked exceptions except a given type.

W

waitForTermination(ExecutorService) - Static method in class org.sosy_lab.common.Concurrency: Wait uninterruptibly until an ExecutorService has shutdown.
WINDOWS - org.sosy_lab.common.NativeLibraries.OS: Deprecated.
with(T) - Method in class org.sosy_lab.common.collect.PersistentLinkedList: Returns a new list with value as the head and the old list as the tail.
with(T) - Method in interface org.sosy_lab.common.collect.PersistentList: Replacement for PersistentList.add(Object) that returns a fresh new instance.
withAll(List<T>) - Method in class org.sosy_lab.common.collect.PersistentLinkedList: Returns a new list with values as the head and the old list as the tail.
withAll(List<T>) - Method in interface org.sosy_lab.common.collect.PersistentList: Replacement for PersistentList.addAll(Collection) that returns a fresh new instance.
withColorsIfPossible() - Static method in class org.sosy_lab.common.log.ConsoleLogFormatter
withColorsIfPossible() - Static method in class org.sosy_lab.common.log.TimestampedLogFormatter
withComponentName(String) - Method in class org.sosy_lab.common.log.BasicLogManager
withComponentName(String) - Method in interface org.sosy_lab.common.log.LogManager: Returns a new LogManager instance which may use the given name as an indicator from which component a log message comes from.
withComponentName(String) - Method in class org.sosy_lab.common.log.LogManagerWithoutDuplicates: This method returns a new LogManagerWithoutDuplicates, which does not share state with the current instance (i.e., it is possible to log the same message both through the old and the new instance once).
withComponentName(String) - Method in enum org.sosy_lab.common.log.NullLogManager: Deprecated.
withComponentName(String) - Method in enum org.sosy_lab.common.log.TestLogManager: Deprecated.
without(T) - Method in class org.sosy_lab.common.collect.PersistentLinkedList: Returns a new list omitting the specified value.
without(T) - Method in interface org.sosy_lab.common.collect.PersistentList: Replacement for PersistentList.remove(Object) that returns a fresh new instance.
withoutColors() - Static method in class org.sosy_lab.common.log.ConsoleLogFormatter
withoutColors() - Static method in class org.sosy_lab.common.log.TimestampedLogFormatter
wouldBeLogged(Level) - Method in class org.sosy_lab.common.log.BasicLogManager: Returns true if a message with the given log level would be logged.
wouldBeLogged(Level) - Method in class org.sosy_lab.common.log.ForwardingLogManager
wouldBeLogged(Level) - Method in interface org.sosy_lab.common.log.LogManager: Returns true if a message with the given log level would be logged.
wouldBeLogged(Level) - Method in enum org.sosy_lab.common.log.NullLogManager: Deprecated.
wouldBeLogged(Level) - Method in enum org.sosy_lab.common.log.TestLogManager: Deprecated.
write(byte[]) - Method in class org.sosy_lab.common.io.DuplicateOutputStream
write(byte[], int, int) - Method in class org.sosy_lab.common.io.DuplicateOutputStream
write(int) - Method in class org.sosy_lab.common.io.DuplicateOutputStream
writeFile(Path, Charset, Object) - Static method in class org.sosy_lab.common.io.IO: Writes content to a file.
writeFile(Path, Charset, Object) - Static method in class org.sosy_lab.common.io.MoreFiles: Deprecated.
moved to IO
writeGZIPFile(Path, Charset, Object) - Static method in class org.sosy_lab.common.io.IO: Writes content to a file compressed in GZIP format.
writeGZIPFile(Path, Charset, Object) - Static method in class org.sosy_lab.common.io.MoreFiles: Deprecated.
moved to IO
writeJSONString(Object, Appendable) - Static method in class org.sosy_lab.common.JSON: Encode an object into JSON text and write it to out.
writeJSONString(Object, Path) - Static method in class org.sosy_lab.common.JSON: Encode an object into JSON text and write it to a file.
writeMonomial(String, Rational, StringBuilder) - Static method in class org.sosy_lab.common.rationals.LinearExpression: Pretty-print monomial to the given StringBuilder.

X

X86 - org.sosy_lab.common.NativeLibraries.Architecture: Deprecated.
X86_64 - org.sosy_lab.common.NativeLibraries.Architecture: Deprecated.

Z

ZERO - Static variable in class org.sosy_lab.common.rationals.ExtendedRational
ZERO - Static variable in class org.sosy_lab.common.rationals.Rational
zipMapEntries(Iterable<Map.Entry<K, V>>, BiFunction<K, V, R>) - Static method in class org.sosy_lab.common.collect.Collections3: Provide a stream that consists of the result of applying the given function to each of the map entries, similarly to Streams.zip(Stream, Stream, BiFunction).
zipMapEntries(Map<K, V>, BiFunction<K, V, R>) - Static method in class org.sosy_lab.common.collect.Collections3: Provide a stream that consists of the result of applying the given function to each of a map's entries, similarly to Streams.zip(Stream, Stream, BiFunction).

A B C D E F G H I J K L M N O P R S T U V W X Z
All Classes All Packages