GraphStoreModule

The argumentation graph kept in the active context, and its labels (module graphStore): the only module reading and writing them in the context; the terms are those of the data modules (argument, support, attack, label, statement).

Besides the graph itself (argument/1, support/2, attack/4 terms), the context keeps:

• conc(Conclusion) :- argument(A) and arg(Id) :- argument(A), the arguments by conclusion and by identifier (context_id);

• newConc(Tag, Conclusion), the conclusions of the arguments saved under a tag (the round of the graph builder);

• a compact copy of the graph by argument identifiers: argInfo(Id, InfoId, Info), supportId(IdA, IdB), attackId(Type, IdA, IdB, IdOn). Loops over the graph go through it, so that resolution steps carry integers rather than whole arguments; InfoId identifies the info of the arguments (see the module argument), what the preferences weigh;

• the labels of the arguments and of the statements (see the module label).

Only the attacks found are saved: an attack on an argument is an attack on every argument built on it as well, and the attacks are read with those (attack/4, attackById/4, attacksById/2, attackIn/5, and the attack graph of the native labellings), extended once until the attacks or the supports change (see ExpandedAttacks).