-
Notifications
You must be signed in to change notification settings - Fork 11
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
0 parents
commit 65b8ae6
Showing
159 changed files
with
82,307 additions
and
0 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,49 @@ | ||
| # SPDX-FileCopyrightText: 2007-2020 Dirk Beyer <https://www.sosy-lab.org> | ||
| # | ||
| # SPDX-License-Identifier: Apache-2.0 | ||
|
|
||
| # Possible log levels in descending order | ||
| # (lower levels include higher ones): | ||
| # OFF: no logs published | ||
| # SEVERE: error messages | ||
| # WARNING: warnings | ||
| # INFO: messages | ||
| # FINE: logs on main application level | ||
| # FINER: logs on central CPA algorithm level | ||
| # FINEST: logs published by specific CPAs | ||
| # ALL: debugging information | ||
| # Care must be taken with levels of FINER or lower, as output files may | ||
| # become quite large and memory usage might become an issue. | ||
|
|
||
| # single levels to be excluded from being logged | ||
| log.consoleExclude = [] | ||
|
|
||
| # log level of console output | ||
| log.consoleLevel = Level.INFO | ||
|
|
||
| # name of the log file | ||
| log.file = "CPALog.txt" | ||
|
|
||
| # single levels to be excluded from being logged | ||
| log.fileExclude = [] | ||
|
|
||
| # log level of file output | ||
| log.level = Level.OFF | ||
|
|
||
| # Maximum size of log output strings before they will be truncated. Note that | ||
| # truncation is not precise and truncation to small values has no effect. Use | ||
| # 0 for disabling truncation completely. | ||
| log.truncateSize = 10000 | ||
|
|
||
| # use colors for log messages on console | ||
| log.useColors = true | ||
|
|
||
| # disable all default output files | ||
| # (any explicitly given file will still be written) | ||
| output.disable = false | ||
|
|
||
| # directory to put all output files in | ||
| output.path = "output/" | ||
|
|
||
| # base directory for all paths in default values | ||
| rootDirectory = "." |
Large diffs are not rendered by default.
Oops, something went wrong.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,130 @@ | ||
| <!DOCTYPE HTML> | ||
| <!-- NewPage --> | ||
| <html lang="en"> | ||
| <head> | ||
| <!-- Generated by javadoc (11.0.24) on Wed Oct 09 18:12:57 UTC 2024 --> | ||
| <title>All Classes (Sosy-Lab Common Library)</title> | ||
| <meta http-equiv="Content-Type" content="text/html; charset=utf-8"> | ||
| <meta name="dc.created" content="2024-10-09"> | ||
| <link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style"> | ||
| <link rel="stylesheet" type="text/css" href="jquery/jquery-ui.min.css" title="Style"> | ||
| <link rel="stylesheet" type="text/css" href="jquery-ui.overrides.css" title="Style"> | ||
| <script type="text/javascript" src="script.js"></script> | ||
| <script type="text/javascript" src="jquery/jszip/dist/jszip.min.js"></script> | ||
| <script type="text/javascript" src="jquery/jszip-utils/dist/jszip-utils.min.js"></script> | ||
| <!--[if IE]> | ||
| <script type="text/javascript" src="jquery/jszip-utils/dist/jszip-utils-ie.min.js"></script> | ||
| <![endif]--> | ||
| <script type="text/javascript" src="jquery/jquery-3.6.1.min.js"></script> | ||
| <script type="text/javascript" src="jquery/jquery-ui.min.js"></script> | ||
| </head> | ||
| <body> | ||
| <main role="main"> | ||
| <h1 class="bar">All Classes</h1> | ||
| <div class="indexContainer"> | ||
| <ul> | ||
| <li><a href="org/sosy_lab/common/AbstractMBean.html" title="class in org.sosy_lab.common">AbstractMBean</a></li> | ||
| <li><a href="org/sosy_lab/common/configuration/AnnotatedValue.html" title="class in org.sosy_lab.common.configuration">AnnotatedValue</a></li> | ||
| <li><a href="org/sosy_lab/common/Appender.html" title="interface in org.sosy_lab.common"><span class="interfaceName">Appender</span></a></li> | ||
| <li><a href="org/sosy_lab/common/Appenders.html" title="class in org.sosy_lab.common">Appenders</a></li> | ||
| <li><a href="org/sosy_lab/common/Appenders.AbstractAppender.html" title="class in org.sosy_lab.common">Appenders.AbstractAppender</a></li> | ||
| <li><a href="org/sosy_lab/common/configuration/converters/BaseTypeConverter.html" title="enum in org.sosy_lab.common.configuration.converters">BaseTypeConverter</a></li> | ||
| <li><a href="org/sosy_lab/common/log/BasicLogManager.html" title="class in org.sosy_lab.common.log">BasicLogManager</a></li> | ||
| <li><a href="org/sosy_lab/common/log/BasicLogManager.LogManagerMXBean.html" title="interface in org.sosy_lab.common.log"><span class="interfaceName">BasicLogManager.LogManagerMXBean</span></a></li> | ||
| <li><a href="org/sosy_lab/common/ChildFirstPatternClassLoader.html" title="class in org.sosy_lab.common">ChildFirstPatternClassLoader</a></li> | ||
| <li><a href="org/sosy_lab/common/Classes.html" title="class in org.sosy_lab.common">Classes</a></li> | ||
| <li><a href="org/sosy_lab/common/Classes.ClassInstantiationException.html" title="class in org.sosy_lab.common">Classes.ClassInstantiationException</a></li> | ||
| <li><a href="org/sosy_lab/common/Classes.ClassLoaderBuilder.html" title="class in org.sosy_lab.common">Classes.ClassLoaderBuilder</a></li> | ||
| <li><a href="org/sosy_lab/common/Classes.UnexpectedCheckedException.html" title="class in org.sosy_lab.common">Classes.UnexpectedCheckedException</a></li> | ||
| <li><a href="org/sosy_lab/common/Classes.UnsuitedClassException.html" title="class in org.sosy_lab.common">Classes.UnsuitedClassException</a></li> | ||
| <li><a href="org/sosy_lab/common/configuration/ClassOption.html" title="annotation in org.sosy_lab.common.configuration">ClassOption</a></li> | ||
| <li><a href="org/sosy_lab/common/configuration/converters/ClassTypeConverter.html" title="class in org.sosy_lab.common.configuration.converters">ClassTypeConverter</a></li> | ||
| <li><a href="org/sosy_lab/common/collect/Collections3.html" title="class in org.sosy_lab.common.collect">Collections3</a></li> | ||
| <li><a href="org/sosy_lab/common/Concurrency.html" title="class in org.sosy_lab.common">Concurrency</a></li> | ||
| <li><a href="org/sosy_lab/common/configuration/Configuration.html" title="class in org.sosy_lab.common.configuration">Configuration</a></li> | ||
| <li><a href="org/sosy_lab/common/configuration/ConfigurationBuilder.html" title="class in org.sosy_lab.common.configuration">ConfigurationBuilder</a></li> | ||
| <li><a href="org/sosy_lab/common/log/ConsoleLogFormatter.html" title="class in org.sosy_lab.common.log">ConsoleLogFormatter</a></li> | ||
| <li><a href="org/sosy_lab/common/collect/CopyOnWriteSortedMap.html" title="class in org.sosy_lab.common.collect">CopyOnWriteSortedMap</a></li> | ||
| <li><a href="org/sosy_lab/common/io/DuplicateOutputStream.html" title="class in org.sosy_lab.common.io">DuplicateOutputStream</a></li> | ||
| <li><a href="org/sosy_lab/common/log/ExtendedLogRecord.html" title="class in org.sosy_lab.common.log">ExtendedLogRecord</a></li> | ||
| <li><a href="org/sosy_lab/common/rationals/ExtendedRational.html" title="class in org.sosy_lab.common.rationals">ExtendedRational</a></li> | ||
| <li><a href="org/sosy_lab/common/rationals/ExtendedRational.NumberType.html" title="enum in org.sosy_lab.common.rationals">ExtendedRational.NumberType</a></li> | ||
| <li><a href="org/sosy_lab/common/annotations/FieldsAreNonnullByDefault.html" title="annotation in org.sosy_lab.common.annotations">FieldsAreNonnullByDefault</a></li> | ||
| <li><a href="org/sosy_lab/common/log/FileLogFormatter.html" title="class in org.sosy_lab.common.log">FileLogFormatter</a></li> | ||
| <li><a href="org/sosy_lab/common/configuration/FileOption.html" title="annotation in org.sosy_lab.common.configuration">FileOption</a></li> | ||
| <li><a href="org/sosy_lab/common/configuration/FileOption.Type.html" title="enum in org.sosy_lab.common.configuration">FileOption.Type</a></li> | ||
| <li><a href="org/sosy_lab/common/configuration/converters/FileTypeConverter.html" title="class in org.sosy_lab.common.configuration.converters">FileTypeConverter</a></li> | ||
| <li><a href="org/sosy_lab/common/log/ForwardingLogManager.html" title="class in org.sosy_lab.common.log">ForwardingLogManager</a></li> | ||
| <li><a href="org/sosy_lab/common/configuration/IntegerOption.html" title="annotation in org.sosy_lab.common.configuration">IntegerOption</a></li> | ||
| <li><a href="org/sosy_lab/common/configuration/converters/IntegerTypeConverter.html" title="class in org.sosy_lab.common.configuration.converters">IntegerTypeConverter</a></li> | ||
| <li><a href="org/sosy_lab/common/configuration/InvalidConfigurationException.html" title="class in org.sosy_lab.common.configuration">InvalidConfigurationException</a></li> | ||
| <li><a href="org/sosy_lab/common/io/IO.html" title="class in org.sosy_lab.common.io">IO</a></li> | ||
| <li><a href="org/sosy_lab/common/JSON.html" title="class in org.sosy_lab.common">JSON</a></li> | ||
| <li><a href="org/sosy_lab/common/LazyFutureTask.html" title="class in org.sosy_lab.common">LazyFutureTask</a></li> | ||
| <li><a href="org/sosy_lab/common/rationals/LinearExpression.html" title="class in org.sosy_lab.common.rationals">LinearExpression</a></li> | ||
| <li><a href="org/sosy_lab/common/log/LoggingOptions.html" title="class in org.sosy_lab.common.log">LoggingOptions</a></li> | ||
| <li><a href="org/sosy_lab/common/log/LogManager.html" title="interface in org.sosy_lab.common.log"><span class="interfaceName">LogManager</span></a></li> | ||
| <li><a href="org/sosy_lab/common/log/LogManagerWithoutDuplicates.html" title="class in org.sosy_lab.common.log">LogManagerWithoutDuplicates</a></li> | ||
| <li><a href="org/sosy_lab/common/collect/MapsDifference.html" title="class in org.sosy_lab.common.collect">MapsDifference</a></li> | ||
| <li><a href="org/sosy_lab/common/collect/MapsDifference.DefaultVisitor.html" title="class in org.sosy_lab.common.collect">MapsDifference.DefaultVisitor</a></li> | ||
| <li><a href="org/sosy_lab/common/collect/MapsDifference.Entry.html" title="class in org.sosy_lab.common.collect">MapsDifference.Entry</a></li> | ||
| <li><a href="org/sosy_lab/common/collect/MapsDifference.Visitor.html" title="interface in org.sosy_lab.common.collect"><span class="interfaceName">MapsDifference.Visitor</span></a></li> | ||
| <li><a href="org/sosy_lab/common/collect/MoreCollectors.html" title="class in org.sosy_lab.common.collect">MoreCollectors</a></li> | ||
| <li><a href="org/sosy_lab/common/io/MoreFiles.html" title="class in org.sosy_lab.common.io">MoreFiles</a></li> | ||
| <li><a href="org/sosy_lab/common/io/MoreFiles.DeleteOnCloseFile.html" title="class in org.sosy_lab.common.io">MoreFiles.DeleteOnCloseFile</a></li> | ||
| <li><a href="org/sosy_lab/common/MoreStrings.html" title="class in org.sosy_lab.common">MoreStrings</a></li> | ||
| <li><a href="org/sosy_lab/common/MoreStrings.WithLongString.html" title="interface in org.sosy_lab.common"><span class="interfaceName">MoreStrings.WithLongString</span></a></li> | ||
| <li><a href="org/sosy_lab/common/NativeLibraries.html" title="class in org.sosy_lab.common">NativeLibraries</a></li> | ||
| <li><a href="org/sosy_lab/common/NativeLibraries.Architecture.html" title="enum in org.sosy_lab.common">NativeLibraries.Architecture</a></li> | ||
| <li><a href="org/sosy_lab/common/NativeLibraries.OS.html" title="enum in org.sosy_lab.common">NativeLibraries.OS</a></li> | ||
| <li><a href="org/sosy_lab/common/time/NestedTimer.html" title="class in org.sosy_lab.common.time">NestedTimer</a></li> | ||
| <li><a href="org/sosy_lab/common/log/NullLogManager.html" title="enum in org.sosy_lab.common.log">NullLogManager</a></li> | ||
| <li><a href="org/sosy_lab/common/configuration/Option.html" title="annotation in org.sosy_lab.common.configuration">Option</a></li> | ||
| <li><a href="org/sosy_lab/common/Optionals.html" title="class in org.sosy_lab.common">Optionals</a></li> | ||
| <li><a href="org/sosy_lab/common/configuration/OptionAnnotationProcessor.html" title="class in org.sosy_lab.common.configuration">OptionAnnotationProcessor</a></li> | ||
| <li><a href="org/sosy_lab/common/configuration/OptionCollector.html" title="class in org.sosy_lab.common.configuration">OptionCollector</a></li> | ||
| <li><a href="org/sosy_lab/common/configuration/OptionDetailAnnotation.html" title="annotation in org.sosy_lab.common.configuration">OptionDetailAnnotation</a></li> | ||
| <li><a href="org/sosy_lab/common/configuration/Options.html" title="annotation in org.sosy_lab.common.configuration">Options</a></li> | ||
| <li><a href="org/sosy_lab/common/collect/OrderStatisticMap.html" title="interface in org.sosy_lab.common.collect"><span class="interfaceName">OrderStatisticMap</span></a></li> | ||
| <li><a href="org/sosy_lab/common/collect/OrderStatisticMapTestSuite.html" title="class in org.sosy_lab.common.collect">OrderStatisticMapTestSuite</a></li> | ||
| <li><a href="org/sosy_lab/common/collect/OrderStatisticMapTestSuite.OrderStatisticMapFactory.html" title="class in org.sosy_lab.common.collect">OrderStatisticMapTestSuite.OrderStatisticMapFactory</a></li> | ||
| <li><a href="org/sosy_lab/common/collect/OrderStatisticSet.html" title="interface in org.sosy_lab.common.collect"><span class="interfaceName">OrderStatisticSet</span></a></li> | ||
| <li><a href="org/sosy_lab/common/collect/OrderStatisticSetTestSuite.html" title="class in org.sosy_lab.common.collect">OrderStatisticSetTestSuite</a></li> | ||
| <li><a href="org/sosy_lab/common/collect/OrderStatisticSetTestSuite.OrderStatisticSetFactory.html" title="class in org.sosy_lab.common.collect">OrderStatisticSetTestSuite.OrderStatisticSetFactory</a></li> | ||
| <li><a href="org/sosy_lab/common/collect/PathCopyingPersistentTreeMap.html" title="class in org.sosy_lab.common.collect">PathCopyingPersistentTreeMap</a></li> | ||
| <li><a href="org/sosy_lab/common/io/PathCounterTemplate.html" title="class in org.sosy_lab.common.io">PathCounterTemplate</a></li> | ||
| <li><a href="org/sosy_lab/common/io/PathTemplate.html" title="class in org.sosy_lab.common.io">PathTemplate</a></li> | ||
| <li><a href="org/sosy_lab/common/collect/PersistentLinkedList.html" title="class in org.sosy_lab.common.collect">PersistentLinkedList</a></li> | ||
| <li><a href="org/sosy_lab/common/collect/PersistentList.html" title="interface in org.sosy_lab.common.collect"><span class="interfaceName">PersistentList</span></a></li> | ||
| <li><a href="org/sosy_lab/common/collect/PersistentMap.html" title="interface in org.sosy_lab.common.collect"><span class="interfaceName">PersistentMap</span></a></li> | ||
| <li><a href="org/sosy_lab/common/collect/PersistentSortedMap.html" title="interface in org.sosy_lab.common.collect"><span class="interfaceName">PersistentSortedMap</span></a></li> | ||
| <li><a href="org/sosy_lab/common/collect/PersistentSortedMaps.html" title="class in org.sosy_lab.common.collect">PersistentSortedMaps</a></li> | ||
| <li><a href="org/sosy_lab/common/collect/PersistentSortedMaps.MergeConflictHandler.html" title="interface in org.sosy_lab.common.collect"><span class="interfaceName">PersistentSortedMaps.MergeConflictHandler</span></a></li> | ||
| <li><a href="org/sosy_lab/common/ProcessExecutor.html" title="class in org.sosy_lab.common">ProcessExecutor</a></li> | ||
| <li><a href="org/sosy_lab/common/rationals/Rational.html" title="class in org.sosy_lab.common.rationals">Rational</a></li> | ||
| <li><a href="org/sosy_lab/common/annotations/ReturnValuesAreNonnullByDefault.html" title="annotation in org.sosy_lab.common.annotations">ReturnValuesAreNonnullByDefault</a></li> | ||
| <li><a href="org/sosy_lab/common/ShutdownManager.html" title="class in org.sosy_lab.common">ShutdownManager</a></li> | ||
| <li><a href="org/sosy_lab/common/ShutdownNotifier.html" title="class in org.sosy_lab.common">ShutdownNotifier</a></li> | ||
| <li><a href="org/sosy_lab/common/ShutdownNotifier.ShutdownRequestListener.html" title="interface in org.sosy_lab.common"><span class="interfaceName">ShutdownNotifier.ShutdownRequestListener</span></a></li> | ||
| <li><a href="org/sosy_lab/common/log/StringBuildingLogHandler.html" title="class in org.sosy_lab.common.log">StringBuildingLogHandler</a></li> | ||
| <li><a href="org/sosy_lab/common/annotations/SuppressForbidden.html" title="annotation in org.sosy_lab.common.annotations">SuppressForbidden</a></li> | ||
| <li><a href="org/sosy_lab/common/io/TempFile.html" title="class in org.sosy_lab.common.io">TempFile</a></li> | ||
| <li><a href="org/sosy_lab/common/io/TempFile.DeleteOnCloseDir.html" title="class in org.sosy_lab.common.io">TempFile.DeleteOnCloseDir</a></li> | ||
| <li><a href="org/sosy_lab/common/io/TempFile.DeleteOnCloseFile.html" title="class in org.sosy_lab.common.io">TempFile.DeleteOnCloseFile</a></li> | ||
| <li><a href="org/sosy_lab/common/io/TempFile.TempFileBuilder.html" title="class in org.sosy_lab.common.io">TempFile.TempFileBuilder</a></li> | ||
| <li><a href="org/sosy_lab/common/log/TestLogManager.html" title="enum in org.sosy_lab.common.log">TestLogManager</a></li> | ||
| <li><a href="org/sosy_lab/common/time/Tickers.html" title="class in org.sosy_lab.common.time">Tickers</a></li> | ||
| <li><a href="org/sosy_lab/common/time/Tickers.TickerWithUnit.html" title="class in org.sosy_lab.common.time">Tickers.TickerWithUnit</a></li> | ||
| <li><a href="org/sosy_lab/common/time/Timer.html" title="class in org.sosy_lab.common.time">Timer</a></li> | ||
| <li><a href="org/sosy_lab/common/time/TimeSpan.html" title="class in org.sosy_lab.common.time">TimeSpan</a></li> | ||
| <li><a href="org/sosy_lab/common/configuration/TimeSpanOption.html" title="annotation in org.sosy_lab.common.configuration">TimeSpanOption</a></li> | ||
| <li><a href="org/sosy_lab/common/configuration/converters/TimeSpanTypeConverter.html" title="class in org.sosy_lab.common.configuration.converters">TimeSpanTypeConverter</a></li> | ||
| <li><a href="org/sosy_lab/common/log/TimestampedLogFormatter.html" title="class in org.sosy_lab.common.log">TimestampedLogFormatter</a></li> | ||
| <li><a href="org/sosy_lab/common/configuration/converters/TypeConverter.html" title="interface in org.sosy_lab.common.configuration.converters"><span class="interfaceName">TypeConverter</span></a></li> | ||
| <li><a href="org/sosy_lab/common/UniqueIdGenerator.html" title="class in org.sosy_lab.common">UniqueIdGenerator</a></li> | ||
| <li><a href="org/sosy_lab/common/annotations/Unmaintained.html" title="annotation in org.sosy_lab.common.annotations">Unmaintained</a></li> | ||
| </ul> | ||
| </div> | ||
| </main> | ||
| </body> | ||
| </html> |
Oops, something went wrong.