Skip to content

Commit 4e07213

Browse files
author
🤖 SoSy-Bot 🤖
committed
Deploy to GitHub Pages
0 parents  commit 4e07213

File tree

159 files changed

+82267
-0
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

159 files changed

+82267
-0
lines changed

‎ConfigurationOptions.txt‎

Lines changed: 49 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,49 @@
1+
# SPDX-FileCopyrightText: 2007-2020 Dirk Beyer <https://www.sosy-lab.org>
2+
#
3+
# SPDX-License-Identifier: Apache-2.0
4+
5+
# Possible log levels in descending order
6+
# (lower levels include higher ones):
7+
# OFF: no logs published
8+
# SEVERE: error messages
9+
# WARNING: warnings
10+
# INFO: messages
11+
# FINE: logs on main application level
12+
# FINER: logs on central CPA algorithm level
13+
# FINEST: logs published by specific CPAs
14+
# ALL: debugging information
15+
# Care must be taken with levels of FINER or lower, as output files may
16+
# become quite large and memory usage might become an issue.
17+
18+
# single levels to be excluded from being logged
19+
log.consoleExclude = []
20+
21+
# log level of console output
22+
log.consoleLevel = Level.INFO
23+
24+
# name of the log file
25+
log.file = "CPALog.txt"
26+
27+
# single levels to be excluded from being logged
28+
log.fileExclude = []
29+
30+
# log level of file output
31+
log.level = Level.OFF
32+
33+
# Maximum size of log output strings before they will be truncated. Note that
34+
# truncation is not precise and truncation to small values has no effect. Use
35+
# 0 for disabling truncation completely.
36+
log.truncateSize = 10000
37+
38+
# use colors for log messages on console
39+
log.useColors = true
40+
41+
# disable all default output files
42+
# (any explicitly given file will still be written)
43+
output.disable = false
44+
45+
# directory to put all output files in
46+
output.path = "output/"
47+
48+
# base directory for all paths in default values
49+
rootDirectory = "."

‎api/allclasses-index.html‎

Lines changed: 765 additions & 0 deletions
Large diffs are not rendered by default.

‎api/allclasses.html‎

Lines changed: 130 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,130 @@
1+
<!DOCTYPE HTML>
2+
<!-- NewPage -->
3+
<html lang="en">
4+
<head>
5+
<!-- Generated by javadoc (11.0.28) on Mon Oct 13 05:47:41 UTC 2025 -->
6+
<title>All Classes (Sosy-Lab Common Library)</title>
7+
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
8+
<meta name="dc.created" content="2025-10-13">
9+
<link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
10+
<link rel="stylesheet" type="text/css" href="jquery/jquery-ui.min.css" title="Style">
11+
<link rel="stylesheet" type="text/css" href="jquery-ui.overrides.css" title="Style">
12+
<script type="text/javascript" src="script.js"></script>
13+
<script type="text/javascript" src="jquery/jszip/dist/jszip.min.js"></script>
14+
<script type="text/javascript" src="jquery/jszip-utils/dist/jszip-utils.min.js"></script>
15+
<!--[if IE]>
16+
<script type="text/javascript" src="jquery/jszip-utils/dist/jszip-utils-ie.min.js"></script>
17+
<![endif]-->
18+
<script type="text/javascript" src="jquery/jquery-3.7.1.min.js"></script>
19+
<script type="text/javascript" src="jquery/jquery-ui.min.js"></script>
20+
</head>
21+
<body>
22+
<main role="main">
23+
<h1 class="bar">All&nbsp;Classes</h1>
24+
<div class="indexContainer">
25+
<ul>
26+
<li><a href="org/sosy_lab/common/AbstractMBean.html" title="class in org.sosy_lab.common">AbstractMBean</a></li>
27+
<li><a href="org/sosy_lab/common/configuration/AnnotatedValue.html" title="class in org.sosy_lab.common.configuration">AnnotatedValue</a></li>
28+
<li><a href="org/sosy_lab/common/Appender.html" title="interface in org.sosy_lab.common"><span class="interfaceName">Appender</span></a></li>
29+
<li><a href="org/sosy_lab/common/Appenders.html" title="class in org.sosy_lab.common">Appenders</a></li>
30+
<li><a href="org/sosy_lab/common/Appenders.AbstractAppender.html" title="class in org.sosy_lab.common">Appenders.AbstractAppender</a></li>
31+
<li><a href="org/sosy_lab/common/configuration/converters/BaseTypeConverter.html" title="enum in org.sosy_lab.common.configuration.converters">BaseTypeConverter</a></li>
32+
<li><a href="org/sosy_lab/common/log/BasicLogManager.html" title="class in org.sosy_lab.common.log">BasicLogManager</a></li>
33+
<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>
34+
<li><a href="org/sosy_lab/common/ChildFirstPatternClassLoader.html" title="class in org.sosy_lab.common">ChildFirstPatternClassLoader</a></li>
35+
<li><a href="org/sosy_lab/common/Classes.html" title="class in org.sosy_lab.common">Classes</a></li>
36+
<li><a href="org/sosy_lab/common/Classes.ClassInstantiationException.html" title="class in org.sosy_lab.common">Classes.ClassInstantiationException</a></li>
37+
<li><a href="org/sosy_lab/common/Classes.ClassLoaderBuilder.html" title="class in org.sosy_lab.common">Classes.ClassLoaderBuilder</a></li>
38+
<li><a href="org/sosy_lab/common/Classes.UnexpectedCheckedException.html" title="class in org.sosy_lab.common">Classes.UnexpectedCheckedException</a></li>
39+
<li><a href="org/sosy_lab/common/Classes.UnsuitedClassException.html" title="class in org.sosy_lab.common">Classes.UnsuitedClassException</a></li>
40+
<li><a href="org/sosy_lab/common/configuration/ClassOption.html" title="annotation in org.sosy_lab.common.configuration">ClassOption</a></li>
41+
<li><a href="org/sosy_lab/common/configuration/converters/ClassTypeConverter.html" title="class in org.sosy_lab.common.configuration.converters">ClassTypeConverter</a></li>
42+
<li><a href="org/sosy_lab/common/collect/Collections3.html" title="class in org.sosy_lab.common.collect">Collections3</a></li>
43+
<li><a href="org/sosy_lab/common/Concurrency.html" title="class in org.sosy_lab.common">Concurrency</a></li>
44+
<li><a href="org/sosy_lab/common/configuration/Configuration.html" title="class in org.sosy_lab.common.configuration">Configuration</a></li>
45+
<li><a href="org/sosy_lab/common/configuration/ConfigurationBuilder.html" title="class in org.sosy_lab.common.configuration">ConfigurationBuilder</a></li>
46+
<li><a href="org/sosy_lab/common/log/ConsoleLogFormatter.html" title="class in org.sosy_lab.common.log">ConsoleLogFormatter</a></li>
47+
<li><a href="org/sosy_lab/common/collect/CopyOnWriteSortedMap.html" title="class in org.sosy_lab.common.collect">CopyOnWriteSortedMap</a></li>
48+
<li><a href="org/sosy_lab/common/io/DuplicateOutputStream.html" title="class in org.sosy_lab.common.io">DuplicateOutputStream</a></li>
49+
<li><a href="org/sosy_lab/common/log/ExtendedLogRecord.html" title="class in org.sosy_lab.common.log">ExtendedLogRecord</a></li>
50+
<li><a href="org/sosy_lab/common/rationals/ExtendedRational.html" title="class in org.sosy_lab.common.rationals">ExtendedRational</a></li>
51+
<li><a href="org/sosy_lab/common/rationals/ExtendedRational.NumberType.html" title="enum in org.sosy_lab.common.rationals">ExtendedRational.NumberType</a></li>
52+
<li><a href="org/sosy_lab/common/annotations/FieldsAreNonnullByDefault.html" title="annotation in org.sosy_lab.common.annotations">FieldsAreNonnullByDefault</a></li>
53+
<li><a href="org/sosy_lab/common/log/FileLogFormatter.html" title="class in org.sosy_lab.common.log">FileLogFormatter</a></li>
54+
<li><a href="org/sosy_lab/common/configuration/FileOption.html" title="annotation in org.sosy_lab.common.configuration">FileOption</a></li>
55+
<li><a href="org/sosy_lab/common/configuration/FileOption.Type.html" title="enum in org.sosy_lab.common.configuration">FileOption.Type</a></li>
56+
<li><a href="org/sosy_lab/common/configuration/converters/FileTypeConverter.html" title="class in org.sosy_lab.common.configuration.converters">FileTypeConverter</a></li>
57+
<li><a href="org/sosy_lab/common/log/ForwardingLogManager.html" title="class in org.sosy_lab.common.log">ForwardingLogManager</a></li>
58+
<li><a href="org/sosy_lab/common/configuration/IntegerOption.html" title="annotation in org.sosy_lab.common.configuration">IntegerOption</a></li>
59+
<li><a href="org/sosy_lab/common/configuration/converters/IntegerTypeConverter.html" title="class in org.sosy_lab.common.configuration.converters">IntegerTypeConverter</a></li>
60+
<li><a href="org/sosy_lab/common/configuration/InvalidConfigurationException.html" title="class in org.sosy_lab.common.configuration">InvalidConfigurationException</a></li>
61+
<li><a href="org/sosy_lab/common/io/IO.html" title="class in org.sosy_lab.common.io">IO</a></li>
62+
<li><a href="org/sosy_lab/common/JSON.html" title="class in org.sosy_lab.common">JSON</a></li>
63+
<li><a href="org/sosy_lab/common/LazyFutureTask.html" title="class in org.sosy_lab.common">LazyFutureTask</a></li>
64+
<li><a href="org/sosy_lab/common/rationals/LinearExpression.html" title="class in org.sosy_lab.common.rationals">LinearExpression</a></li>
65+
<li><a href="org/sosy_lab/common/log/LoggingOptions.html" title="class in org.sosy_lab.common.log">LoggingOptions</a></li>
66+
<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>
67+
<li><a href="org/sosy_lab/common/log/LogManagerWithoutDuplicates.html" title="class in org.sosy_lab.common.log">LogManagerWithoutDuplicates</a></li>
68+
<li><a href="org/sosy_lab/common/collect/MapsDifference.html" title="class in org.sosy_lab.common.collect">MapsDifference</a></li>
69+
<li><a href="org/sosy_lab/common/collect/MapsDifference.DefaultVisitor.html" title="class in org.sosy_lab.common.collect">MapsDifference.DefaultVisitor</a></li>
70+
<li><a href="org/sosy_lab/common/collect/MapsDifference.Entry.html" title="class in org.sosy_lab.common.collect">MapsDifference.Entry</a></li>
71+
<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>
72+
<li><a href="org/sosy_lab/common/collect/MoreCollectors.html" title="class in org.sosy_lab.common.collect">MoreCollectors</a></li>
73+
<li><a href="org/sosy_lab/common/io/MoreFiles.html" title="class in org.sosy_lab.common.io">MoreFiles</a></li>
74+
<li><a href="org/sosy_lab/common/io/MoreFiles.DeleteOnCloseFile.html" title="class in org.sosy_lab.common.io">MoreFiles.DeleteOnCloseFile</a></li>
75+
<li><a href="org/sosy_lab/common/MoreStrings.html" title="class in org.sosy_lab.common">MoreStrings</a></li>
76+
<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>
77+
<li><a href="org/sosy_lab/common/NativeLibraries.html" title="class in org.sosy_lab.common">NativeLibraries</a></li>
78+
<li><a href="org/sosy_lab/common/NativeLibraries.Architecture.html" title="enum in org.sosy_lab.common">NativeLibraries.Architecture</a></li>
79+
<li><a href="org/sosy_lab/common/NativeLibraries.OS.html" title="enum in org.sosy_lab.common">NativeLibraries.OS</a></li>
80+
<li><a href="org/sosy_lab/common/time/NestedTimer.html" title="class in org.sosy_lab.common.time">NestedTimer</a></li>
81+
<li><a href="org/sosy_lab/common/log/NullLogManager.html" title="enum in org.sosy_lab.common.log">NullLogManager</a></li>
82+
<li><a href="org/sosy_lab/common/configuration/Option.html" title="annotation in org.sosy_lab.common.configuration">Option</a></li>
83+
<li><a href="org/sosy_lab/common/Optionals.html" title="class in org.sosy_lab.common">Optionals</a></li>
84+
<li><a href="org/sosy_lab/common/configuration/OptionAnnotationProcessor.html" title="class in org.sosy_lab.common.configuration">OptionAnnotationProcessor</a></li>
85+
<li><a href="org/sosy_lab/common/configuration/OptionCollector.html" title="class in org.sosy_lab.common.configuration">OptionCollector</a></li>
86+
<li><a href="org/sosy_lab/common/configuration/OptionDetailAnnotation.html" title="annotation in org.sosy_lab.common.configuration">OptionDetailAnnotation</a></li>
87+
<li><a href="org/sosy_lab/common/configuration/Options.html" title="annotation in org.sosy_lab.common.configuration">Options</a></li>
88+
<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>
89+
<li><a href="org/sosy_lab/common/collect/OrderStatisticMapTestSuite.html" title="class in org.sosy_lab.common.collect">OrderStatisticMapTestSuite</a></li>
90+
<li><a href="org/sosy_lab/common/collect/OrderStatisticMapTestSuite.OrderStatisticMapFactory.html" title="class in org.sosy_lab.common.collect">OrderStatisticMapTestSuite.OrderStatisticMapFactory</a></li>
91+
<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>
92+
<li><a href="org/sosy_lab/common/collect/OrderStatisticSetTestSuite.html" title="class in org.sosy_lab.common.collect">OrderStatisticSetTestSuite</a></li>
93+
<li><a href="org/sosy_lab/common/collect/OrderStatisticSetTestSuite.OrderStatisticSetFactory.html" title="class in org.sosy_lab.common.collect">OrderStatisticSetTestSuite.OrderStatisticSetFactory</a></li>
94+
<li><a href="org/sosy_lab/common/collect/PathCopyingPersistentTreeMap.html" title="class in org.sosy_lab.common.collect">PathCopyingPersistentTreeMap</a></li>
95+
<li><a href="org/sosy_lab/common/io/PathCounterTemplate.html" title="class in org.sosy_lab.common.io">PathCounterTemplate</a></li>
96+
<li><a href="org/sosy_lab/common/io/PathTemplate.html" title="class in org.sosy_lab.common.io">PathTemplate</a></li>
97+
<li><a href="org/sosy_lab/common/collect/PersistentLinkedList.html" title="class in org.sosy_lab.common.collect">PersistentLinkedList</a></li>
98+
<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>
99+
<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>
100+
<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>
101+
<li><a href="org/sosy_lab/common/collect/PersistentSortedMaps.html" title="class in org.sosy_lab.common.collect">PersistentSortedMaps</a></li>
102+
<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>
103+
<li><a href="org/sosy_lab/common/ProcessExecutor.html" title="class in org.sosy_lab.common">ProcessExecutor</a></li>
104+
<li><a href="org/sosy_lab/common/rationals/Rational.html" title="class in org.sosy_lab.common.rationals">Rational</a></li>
105+
<li><a href="org/sosy_lab/common/annotations/ReturnValuesAreNonnullByDefault.html" title="annotation in org.sosy_lab.common.annotations">ReturnValuesAreNonnullByDefault</a></li>
106+
<li><a href="org/sosy_lab/common/ShutdownManager.html" title="class in org.sosy_lab.common">ShutdownManager</a></li>
107+
<li><a href="org/sosy_lab/common/ShutdownNotifier.html" title="class in org.sosy_lab.common">ShutdownNotifier</a></li>
108+
<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>
109+
<li><a href="org/sosy_lab/common/log/StringBuildingLogHandler.html" title="class in org.sosy_lab.common.log">StringBuildingLogHandler</a></li>
110+
<li><a href="org/sosy_lab/common/annotations/SuppressForbidden.html" title="annotation in org.sosy_lab.common.annotations">SuppressForbidden</a></li>
111+
<li><a href="org/sosy_lab/common/io/TempFile.html" title="class in org.sosy_lab.common.io">TempFile</a></li>
112+
<li><a href="org/sosy_lab/common/io/TempFile.DeleteOnCloseDir.html" title="class in org.sosy_lab.common.io">TempFile.DeleteOnCloseDir</a></li>
113+
<li><a href="org/sosy_lab/common/io/TempFile.DeleteOnCloseFile.html" title="class in org.sosy_lab.common.io">TempFile.DeleteOnCloseFile</a></li>
114+
<li><a href="org/sosy_lab/common/io/TempFile.TempFileBuilder.html" title="class in org.sosy_lab.common.io">TempFile.TempFileBuilder</a></li>
115+
<li><a href="org/sosy_lab/common/log/TestLogManager.html" title="enum in org.sosy_lab.common.log">TestLogManager</a></li>
116+
<li><a href="org/sosy_lab/common/time/Tickers.html" title="class in org.sosy_lab.common.time">Tickers</a></li>
117+
<li><a href="org/sosy_lab/common/time/Tickers.TickerWithUnit.html" title="class in org.sosy_lab.common.time">Tickers.TickerWithUnit</a></li>
118+
<li><a href="org/sosy_lab/common/time/Timer.html" title="class in org.sosy_lab.common.time">Timer</a></li>
119+
<li><a href="org/sosy_lab/common/time/TimeSpan.html" title="class in org.sosy_lab.common.time">TimeSpan</a></li>
120+
<li><a href="org/sosy_lab/common/configuration/TimeSpanOption.html" title="annotation in org.sosy_lab.common.configuration">TimeSpanOption</a></li>
121+
<li><a href="org/sosy_lab/common/configuration/converters/TimeSpanTypeConverter.html" title="class in org.sosy_lab.common.configuration.converters">TimeSpanTypeConverter</a></li>
122+
<li><a href="org/sosy_lab/common/log/TimestampedLogFormatter.html" title="class in org.sosy_lab.common.log">TimestampedLogFormatter</a></li>
123+
<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>
124+
<li><a href="org/sosy_lab/common/UniqueIdGenerator.html" title="class in org.sosy_lab.common">UniqueIdGenerator</a></li>
125+
<li><a href="org/sosy_lab/common/annotations/Unmaintained.html" title="annotation in org.sosy_lab.common.annotations">Unmaintained</a></li>
126+
</ul>
127+
</div>
128+
</main>
129+
</body>
130+
</html>

0 commit comments

Comments
 (0)