-
Notifications
You must be signed in to change notification settings - Fork 2
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
Daphne Odekerken
committed
Dec 23, 2023
1 parent
14f4272
commit 65e1ee6
Showing
178 changed files
with
4,989 additions
and
3,004 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
7 changes: 4 additions & 3 deletions
7
src/py_arg/abstract_argumentation/canonical_constructions/canonical_af/canonical_cf.py
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
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
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
11 changes: 6 additions & 5 deletions
11
src/py_arg/abstract_argumentation/canonical_constructions/canonical_af/construct_af_adm.py
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 |
---|---|---|
@@ -1,15 +1,16 @@ | ||
|
||
from typing import Set | ||
|
||
import py_arg.abstract_argumentation.canonical_constructions.canonical_af.canonical_def as canonical_def | ||
from py_arg.abstract_argumentation.classes.abstract_argumentation_framework import AbstractArgumentationFramework | ||
import py_arg.abstract_argumentation.canonical_constructions.check_conf_sens as check_conf_sens | ||
import py_arg.abstract_argumentation.canonical_constructions.canonical_af\ | ||
.canonical_def as canonical_def | ||
from py_arg.abstract_argumentation.classes.abstract_argumentation_framework \ | ||
import AbstractArgumentationFramework | ||
import py_arg.abstract_argumentation.canonical_constructions.check_conf_sens \ | ||
as check_conf_sens | ||
|
||
|
||
@staticmethod | ||
def apply(extension_set: Set) -> AbstractArgumentationFramework: | ||
if check_conf_sens.apply(extension_set) and frozenset() in extension_set: | ||
return canonical_def.apply(extension_set) | ||
return AbstractArgumentationFramework('', arguments=[], defeats=[]) | ||
|
||
|
12 changes: 8 additions & 4 deletions
12
src/py_arg/abstract_argumentation/canonical_constructions/canonical_af/construct_af_cf.py
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 |
---|---|---|
@@ -1,14 +1,18 @@ | ||
|
||
from typing import Set | ||
|
||
import py_arg.abstract_argumentation.canonical_constructions.canonical_af.canonical_cf as canonical_cf | ||
from py_arg.abstract_argumentation.classes.abstract_argumentation_framework import AbstractArgumentationFramework | ||
import py_arg.abstract_argumentation.canonical_constructions.check_downward_closed as check_downward_closed | ||
import py_arg.abstract_argumentation.canonical_constructions.canonical_af\ | ||
.canonical_cf as canonical_cf | ||
from py_arg.abstract_argumentation.classes.abstract_argumentation_framework \ | ||
import AbstractArgumentationFramework | ||
import py_arg.abstract_argumentation.canonical_constructions\ | ||
.check_downward_closed as check_downward_closed | ||
from py_arg.abstract_argumentation.canonical_constructions import check_tight | ||
|
||
|
||
@staticmethod | ||
def apply(extension_set: Set) -> AbstractArgumentationFramework: | ||
if check_downward_closed.apply(extension_set) and check_tight.apply(extension_set): | ||
if check_downward_closed.apply(extension_set) and check_tight.apply( | ||
extension_set): | ||
return canonical_cf.apply(extension_set) | ||
return AbstractArgumentationFramework('', arguments=[], defeats=[]) |
9 changes: 6 additions & 3 deletions
9
src/py_arg/abstract_argumentation/canonical_constructions/canonical_af/construct_af_grd.py
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 |
---|---|---|
@@ -1,12 +1,15 @@ | ||
|
||
from typing import Set | ||
|
||
import py_arg.abstract_argumentation.canonical_constructions.aux_operators as aux | ||
from py_arg.abstract_argumentation.classes.abstract_argumentation_framework import AbstractArgumentationFramework | ||
import py_arg.abstract_argumentation.canonical_constructions.aux_operators as \ | ||
aux | ||
from py_arg.abstract_argumentation.classes.abstract_argumentation_framework \ | ||
import AbstractArgumentationFramework | ||
|
||
|
||
@staticmethod | ||
def apply(extension_set: Set) -> AbstractArgumentationFramework: | ||
if len(extension_set) == 1: | ||
return AbstractArgumentationFramework('', arguments=list(aux.big_a(extension_set)), defeats=[]) | ||
return AbstractArgumentationFramework('', arguments=list(aux.big_a( | ||
extension_set)), defeats=[]) | ||
return AbstractArgumentationFramework('', arguments=[], defeats=[]) |
18 changes: 12 additions & 6 deletions
18
src/py_arg/abstract_argumentation/canonical_constructions/canonical_af/construct_af_naive.py
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 |
---|---|---|
@@ -1,17 +1,23 @@ | ||
|
||
from typing import Set | ||
|
||
import py_arg.abstract_argumentation.canonical_constructions.canonical_af.canonical_cf as canonical_cf | ||
from py_arg.abstract_argumentation.classes.abstract_argumentation_framework import AbstractArgumentationFramework | ||
import py_arg.abstract_argumentation.canonical_constructions.check_dcl_tight as check_dcl_tight | ||
import py_arg.abstract_argumentation.canonical_constructions.check_incomparable as check_incomparable | ||
import py_arg.abstract_argumentation.canonical_constructions.check_non_empty as check_non_empty | ||
import py_arg.abstract_argumentation.canonical_constructions.canonical_af\ | ||
.canonical_cf as canonical_cf | ||
from py_arg.abstract_argumentation.classes.abstract_argumentation_framework \ | ||
import AbstractArgumentationFramework | ||
import py_arg.abstract_argumentation.canonical_constructions.check_dcl_tight \ | ||
as check_dcl_tight | ||
import py_arg.abstract_argumentation.canonical_constructions\ | ||
.check_incomparable as check_incomparable | ||
import py_arg.abstract_argumentation.canonical_constructions.check_non_empty \ | ||
as check_non_empty | ||
from py_arg.abstract_argumentation.canonical_constructions import aux_operators | ||
|
||
|
||
@staticmethod | ||
def apply(extension_set: Set) -> AbstractArgumentationFramework: | ||
if check_incomparable.apply(extension_set) and check_dcl_tight.apply(aux_operators.dcl(extension_set)) \ | ||
if check_incomparable.apply(extension_set) and check_dcl_tight.apply( | ||
aux_operators.dcl(extension_set)) \ | ||
and check_non_empty.apply(extension_set): | ||
return canonical_cf.apply(extension_set) | ||
return AbstractArgumentationFramework('', arguments=[], defeats=[]) |
14 changes: 8 additions & 6 deletions
14
src/py_arg/abstract_argumentation/canonical_constructions/canonical_af/construct_af_stage.py
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 |
---|---|---|
@@ -1,16 +1,18 @@ | ||
|
||
from typing import Set | ||
|
||
import py_arg.abstract_argumentation.canonical_constructions.canonical_af.canonical_st as canonical_st | ||
from py_arg.abstract_argumentation.classes.abstract_argumentation_framework import AbstractArgumentationFramework | ||
import py_arg.abstract_argumentation.canonical_constructions.check_incomparable as check_incomparable | ||
import py_arg.abstract_argumentation.canonical_constructions.canonical_af\ | ||
.canonical_st as canonical_st | ||
from py_arg.abstract_argumentation.classes.abstract_argumentation_framework \ | ||
import AbstractArgumentationFramework | ||
import py_arg.abstract_argumentation.canonical_constructions\ | ||
.check_incomparable as check_incomparable | ||
from py_arg.abstract_argumentation.canonical_constructions import check_tight | ||
|
||
|
||
@staticmethod | ||
def apply(extension_set: Set) -> AbstractArgumentationFramework: | ||
if check_incomparable.apply(extension_set) and check_tight.apply(extension_set) and len(extension_set) != 0: | ||
if check_incomparable.apply(extension_set) and check_tight.apply( | ||
extension_set) and len(extension_set) != 0: | ||
return canonical_st.apply(extension_set) | ||
return AbstractArgumentationFramework('', arguments=[], defeats=[]) | ||
|
||
|
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
3 changes: 2 additions & 1 deletion
3
src/py_arg/abstract_argumentation/canonical_constructions/check_com_closed.py
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
3 changes: 2 additions & 1 deletion
3
src/py_arg/abstract_argumentation/canonical_constructions/check_conf_sens.py
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
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
3 changes: 2 additions & 1 deletion
3
src/py_arg/abstract_argumentation/canonical_constructions/check_downward_closed.py
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
3 changes: 2 additions & 1 deletion
3
src/py_arg/abstract_argumentation/canonical_constructions/check_incomparable.py
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
3 changes: 2 additions & 1 deletion
3
src/py_arg/abstract_argumentation/canonical_constructions/check_intersection_in.py
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
1 change: 0 additions & 1 deletion
1
src/py_arg/abstract_argumentation/canonical_constructions/check_non_empty.py
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 |
---|---|---|
@@ -1,4 +1,3 @@ | ||
|
||
from typing import Set | ||
|
||
|
||
|
4 changes: 2 additions & 2 deletions
4
src/py_arg/abstract_argumentation/canonical_constructions/check_set_com_closed.py
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
4 changes: 2 additions & 2 deletions
4
src/py_arg/abstract_argumentation/canonical_constructions/check_set_conf_sens.py
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
5 changes: 3 additions & 2 deletions
5
src/py_arg/abstract_argumentation/canonical_constructions/check_tight.py
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
1 change: 0 additions & 1 deletion
1
src/py_arg/abstract_argumentation/canonical_constructions/check_unary.py
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 |
---|---|---|
@@ -1,4 +1,3 @@ | ||
|
||
from typing import Set | ||
|
||
|
||
|
4 changes: 2 additions & 2 deletions
4
src/py_arg/abstract_argumentation/canonical_constructions/check_union_closed.py
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
Oops, something went wrong.