RuleGraphModule

The whole argumentation graph of the rules of a theory (module ruleGraph, the graphBuilder of the profiles but abstract, see it.unibo.tuprolog.argumentation.core.runtime.settings.Profiles): every argument its rules make (see the module argumentBuilder), those derived from them (conflictArguments), and the attacks between them (attackBuilder), saved in the context (see the module graphStore).