Class Summary Class Description ArgumentationEnvironmentThis class models the environment for agents in argumentation games. DialogueTrace<S,T extends java.util.Collection<S>>Objects of this class represent traces of dialogue in an argumentation game, ie. ExecutableDungTheoryThis class packs a Dung theory into an executable object. ExecutableExtensionThis class packs an extension into an executable object. ExecutableFormulaSetThis class packs a set of formulas into an executable object. LotteryArgumentationEnvironmentThis class models the environment for agents in argumentation games with lotteries.