Skip to content

Commit a4ca4ea

Browse files
author
matthias.thimm
committed
TweetyProject 1.19 winter release 2021
1 parent 5fa78b8 commit a4ca4ea

106 files changed

Lines changed: 533 additions & 475 deletions

File tree

Some content is hidden

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

‎org-tweetyproject-action/pom.xml‎

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -5,29 +5,29 @@
55
<parent>
66
<groupId>org.tweetyproject</groupId>
77
<artifactId>parent-pom</artifactId>
8-
<version>1.17-SNAPSHOT</version>
8+
<version>1.19-SNAPSHOT</version>
99
<relativePath>..</relativePath>
1010
</parent>
1111
<dependencies>
1212
<dependency>
1313
<groupId>org.tweetyproject</groupId>
1414
<artifactId>commons</artifactId>
15-
<version>1.17-SNAPSHOT</version>
15+
<version>1.19-SNAPSHOT</version>
1616
</dependency>
1717
<dependency>
1818
<groupId>org.tweetyproject.logics</groupId>
1919
<artifactId>fol</artifactId>
20-
<version>1.17-SNAPSHOT</version>
20+
<version>1.19-SNAPSHOT</version>
2121
</dependency>
2222
<dependency>
2323
<groupId>org.tweetyproject.lp</groupId>
2424
<artifactId>asp</artifactId>
25-
<version>1.17-SNAPSHOT</version>
25+
<version>1.19-SNAPSHOT</version>
2626
</dependency>
2727
<dependency>
2828
<groupId>org.tweetyproject.logics</groupId>
2929
<artifactId>commons</artifactId>
30-
<version>1.17-SNAPSHOT</version>
30+
<version>1.19-SNAPSHOT</version>
3131
</dependency>
3232
</dependencies>
3333
</project>

‎org-tweetyproject-agents-dialogues/pom.xml‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -9,25 +9,25 @@
99
<parent>
1010
<groupId>org.tweetyproject</groupId>
1111
<artifactId>parent-pom</artifactId>
12-
<version>1.17-SNAPSHOT</version>
12+
<version>1.19-SNAPSHOT</version>
1313
<relativePath>..</relativePath>
1414
</parent>
1515

1616
<dependencies>
1717
<dependency>
1818
<groupId>org.tweetyproject</groupId>
1919
<artifactId>agents</artifactId>
20-
<version>1.17-SNAPSHOT</version>
20+
<version>1.19-SNAPSHOT</version>
2121
</dependency>
2222
<dependency>
2323
<groupId>org.tweetyproject.arg</groupId>
2424
<artifactId>saf</artifactId>
25-
<version>1.17-SNAPSHOT</version>
25+
<version>1.19-SNAPSHOT</version>
2626
</dependency>
2727
<dependency>
2828
<groupId>org.tweetyproject.arg</groupId>
2929
<artifactId>prob</artifactId>
30-
<version>1.17-SNAPSHOT</version>
30+
<version>1.19-SNAPSHOT</version>
3131
</dependency>
3232
</dependencies>
3333
</project>

‎org-tweetyproject-agents/pom.xml‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -8,13 +8,13 @@
88
<dependency>
99
<groupId>org.tweetyproject</groupId>
1010
<artifactId>commons</artifactId>
11-
<version>1.17-SNAPSHOT</version>
11+
<version>1.19-SNAPSHOT</version>
1212
</dependency>
1313
</dependencies>
1414
<parent>
1515
<groupId>org.tweetyproject</groupId>
1616
<artifactId>parent-pom</artifactId>
17-
<version>1.17-SNAPSHOT</version>
17+
<version>1.19-SNAPSHOT</version>
1818
<relativePath>..</relativePath>
1919
</parent>
2020
</project>

‎org-tweetyproject-arg-aba/pom.xml‎

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@
99
<parent>
1010
<groupId>org.tweetyproject</groupId>
1111
<artifactId>parent-pom</artifactId>
12-
<version>1.17-SNAPSHOT</version>
12+
<version>1.19-SNAPSHOT</version>
1313
<relativePath>..</relativePath>
1414
</parent>
1515
<dependencies>
@@ -22,22 +22,22 @@
2222
<dependency>
2323
<groupId>org.tweetyproject</groupId>
2424
<artifactId>commons</artifactId>
25-
<version>1.17-SNAPSHOT</version>
25+
<version>1.19-SNAPSHOT</version>
2626
</dependency>
2727
<dependency>
2828
<groupId>org.tweetyproject</groupId>
2929
<artifactId>graphs</artifactId>
30-
<version>1.17-SNAPSHOT</version>
30+
<version>1.19-SNAPSHOT</version>
3131
</dependency>
3232
<dependency>
3333
<groupId>org.tweetyproject.arg</groupId>
3434
<artifactId>dung</artifactId>
35-
<version>1.17-SNAPSHOT</version>
35+
<version>1.19-SNAPSHOT</version>
3636
</dependency>
3737
<dependency>
3838
<groupId>org.tweetyproject.arg</groupId>
3939
<artifactId>aspic</artifactId>
40-
<version>1.17-SNAPSHOT</version>
40+
<version>1.19-SNAPSHOT</version>
4141
</dependency>
4242
</dependencies>
4343
</project>

‎org-tweetyproject-arg-adf/pom.xml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@
99
<parent>
1010
<groupId>org.tweetyproject</groupId>
1111
<artifactId>parent-pom</artifactId>
12-
<version>1.17-SNAPSHOT</version>
12+
<version>1.19-SNAPSHOT</version>
1313
<relativePath>..</relativePath>
1414
</parent>
1515
<dependencies>

‎org-tweetyproject-arg-adf/src/main/java/org/tweetyproject/arg/adf/reasoner/heuristics/AcceptanceConditionSizeComparator.java‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -34,7 +34,7 @@ public final class AcceptanceConditionSizeComparator implements Comparator<Argum
3434
private final AbstractDialecticalFramework adf;
3535

3636
/**
37-
* @param adf
37+
* @param adf some ADF
3838
*/
3939
public AcceptanceConditionSizeComparator(AbstractDialecticalFramework adf) {
4040
this.adf = Objects.requireNonNull(adf);

‎org-tweetyproject-arg-adf/src/main/java/org/tweetyproject/arg/adf/reasoner/heuristics/DegreeComparator.java‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -39,7 +39,7 @@ public static enum DegreeType {
3939
private final AbstractDialecticalFramework adf;
4040

4141
/**
42-
*
42+
* @param adf some ADF
4343
* @param degreeType
4444
* specifies the type of the degree
4545
*/

‎org-tweetyproject-arg-adf/src/main/java/org/tweetyproject/arg/adf/reasoner/sat/processor/RelativeKBipolarStateProcessor.java‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -57,8 +57,8 @@ public final class RelativeKBipolarStateProcessor implements StateProcessor {
5757
private final IncrementalSatSolver solver;
5858

5959
/**
60-
* @param k
61-
* @param comparatorFactory
60+
* @param maxDepth maxDepth
61+
* @param solver solver
6262
*/
6363
public RelativeKBipolarStateProcessor(int maxDepth, IncrementalSatSolver solver) {
6464
this.maxDepth = maxDepth;

‎org-tweetyproject-arg-adf/src/main/java/org/tweetyproject/arg/adf/semantics/interpretation/Interpretation.java‎

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -80,10 +80,10 @@ static Interpretation fromSets(Set<Argument> satisfied, Set<Argument> unsatisfie
8080
/**
8181
* Extends the given interpretation by deciding a currently undecided argument. If the argument is not undecided in the given interpretation, an exception is thrown.
8282
*
83-
* @param toExtend
84-
* @param argument
85-
* @param value
86-
* @return
83+
* @param toExtend toExtend
84+
* @param argument argument
85+
* @param value value
86+
* @return return value
8787
*/
8888
static Interpretation extend(Interpretation toExtend, Argument argument, boolean value) {
8989
if (!toExtend.undecided(argument)) {
@@ -315,7 +315,7 @@ default boolean containsAll(Collection<Argument> arguments) {
315315
}
316316

317317
/**
318-
*
318+
* @param arg some argument
319319
* @return true iff the argument is either satisfied or unsatisfied
320320
*/
321321
default boolean decided(Argument arg) {

‎org-tweetyproject-arg-adf/src/main/java/org/tweetyproject/arg/adf/syntax/acc/AcceptanceCondition.java‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -27,7 +27,7 @@
2727
/**
2828
* An immutable representation of acceptance conditions for ADFs.
2929
* <p>
30-
* Mirrors the structure of {@link PlFormula}.
30+
* Mirrors the structure of org.tweetyproject.logics.pl.syntax.PlFormula.
3131
*
3232
* @author Mathias Hofer
3333
*
@@ -82,8 +82,8 @@ default Stream<Argument> arguments() {
8282
* <p>
8383
* Note that this relation is reflexive, hence each argument contains itself.
8484
*
85-
* @param arg
86-
* @return
85+
* @param arg some argument
86+
* @return true if the argument is contained
8787
*/
8888
default boolean contains(Argument arg) {
8989
return getChildren()

0 commit comments

Comments
 (0)