Module dynamics

Module dynamics 

Source
Expand description

Specs and solvers dedicated to dynamic argumentation frameworks.

Structs§

DummyDynamicConstraintsEncoder
A dynamic solver that just recomputes from scratch every time it is called.
DynamicCompleteSemanticsSolver
A dynamic solver dedicated to the complete semantics.
DynamicPreferredSemanticsSolver
A dynamic solver dedicated to the preferred semantics.
DynamicStableSemanticsSolver
A dynamic solver dedicated to the stable semantics.

Traits§

DynamicSolver
A trait for argumentation solvers that are able to deal with dynamic argumentation frameworks.