| Class | Description |
|---|---|
| ArgumentCompletion |
This class models the completion of an argument in the framework of defeasible logic programming.
|
| ComparisonCriterion |
This class is the superclass for all comparison criteria between two arguments in defeasible logic programming.
|
| DialecticalTree |
This class implements a node of a dialectical tree from DeLP.
|
| EmptyCriterion |
This class implements the empty criterion to compare two arguments.
|
| GeneralizedSpecificity |
This class implements the generalized specificity criterion used to compare two arguments.
|
| Enum | Description |
|---|---|
| ComparisonCriterion.Factory |
To select a subclass and create an instance throw a static factory method.
|
| ComparisonCriterion.Result | |
| DialecticalTree.Mark | |
| GeneralizedSpecificity.ActSetType |