Expand description
Specs and solvers dedicated to dynamic argumentation frameworks.
Structs§
- Dummy
Dynamic Constraints Encoder - A dynamic solver that just recomputes from scratch every time it is called.
- Dynamic
Complete Semantics Solver - A dynamic solver dedicated to the complete semantics.
- Dynamic
Preferred Semantics Solver - A dynamic solver dedicated to the preferred semantics.
- Dynamic
Stable Semantics Solver - A dynamic solver dedicated to the stable semantics.
Traits§
- Dynamic
Solver - A trait for argumentation solvers that are able to deal with dynamic argumentation frameworks.