Updated notebook to use the latest version of ALIAS

alias/classes/argument.py

@@ -7,6 +7,14 @@ def __init__(self, name, mapping=0, clause_mapping=0):
         self.mapping = mapping
         self.clause_mapping = clause_mapping
 
+    def __str__(self):
+        string = 'Argument \'' + self.name + '\' : Attacking: ['
+        string = string + (', '.join(self.attacking))
+        string = string + '], Attacked by: ['
+        string = string + (', '.join(self.attacked_by))
+        string = string + ']'
+        return string
+
     def add_attack(self, attacked):
         self.attacking.append(attacked)
 

alias/classes/argumentationframework.py

@@ -44,6 +44,15 @@ def __str__(self):
             my_string += '|\n'
         return my_string
 
+    def __contains__(self, arg):
+        return arg in self.arguments
+
+    def __iter__(self):
+        return iter(self.arguments)
+
+    def __getitem__(self, arg):
+        return self.arguments[arg]
+
     def add_argument(self, arg):
         """
         Method to add argument to argumentation framework
@@ -80,6 +89,11 @@ def add_attack(self, attack):
         self.arguments[attacked].attacked_by.append(attacker)
         self.__solverManager.dirty = True
 
+    def get_attackers(self, argument):
+        assert self.__contains__(argument)
+        argument: Argument = self.arguments[argument]
+        return argument.attacked_by
+
     def __get_graph(self):
         graph = nx.DiGraph()
         for n in self.arguments.keys():
@@ -105,7 +119,7 @@ def get_stable_extension(self):
 
     def get_some_stable_extension(self):
         return self.__solverManager.get_some_extension(ExtensionType.STABLE, self.arguments, self.attacks, self.matrix)
-    
+
     def get_complete_extension(self):
         return self.__solverManager.get_extension(ExtensionType.COMPLETE, self.arguments, self.attacks, self.matrix)