Skip to content

Commit

Permalink
Deploy to GitHub Pages
Browse files Browse the repository at this point in the history
  • Loading branch information
dbeyer committed Apr 30, 2024
0 parents commit 0f37c9c
Show file tree
Hide file tree
Showing 154 changed files with 81,381 additions and 0 deletions.
49 changes: 49 additions & 0 deletions ConfigurationOptions.txt
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 = "."
765 changes: 765 additions & 0 deletions api/allclasses-index.html

Large diffs are not rendered by default.

130 changes: 130 additions & 0 deletions api/allclasses.html
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.19) on Tue Apr 30 11:57:13 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-04-30">
<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&nbsp;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>
Loading

0 comments on commit 0f37c9c

Please sign in to comment.