| Package | Description |
|---|---|
| net.sf.tweety.arg.dung.ldo.syntax | |
| net.sf.tweety.arg.dung.syntax | |
| net.sf.tweety.arg.prob.lotteries |
| Class and Description |
|---|
| AbstractGraphLdoModality
Provides common functionalities for the graph-based modalities in LDO.
|
| AbstractLdoModality
Provides common functionalities for all modalities in LDO.
|
| LdoArgument
This class represents an argument in ldo.
|
| LdoAssociativeFormula
This class captures the common functionalities of formulas with an associative
operation like conjunction, disjunction, etc.
|
| LdoConjunction
This class represents a conjunction in ldo logic.
|
| LdoDisjunction
This class represents a disjunction in ldo logic.
|
| LdoFormula
This abstract class specifies the general methods of all Ldo-formulas
(LDO - Logic of dialectical outcomes, cf.
|
| Class and Description |
|---|
| LdoArgument
This class represents an argument in ldo.
|
| LdoFormula
This abstract class specifies the general methods of all Ldo-formulas
(LDO - Logic of dialectical outcomes, cf.
|
| Class and Description |
|---|
| LdoFormula
This abstract class specifies the general methods of all Ldo-formulas
(LDO - Logic of dialectical outcomes, cf.
|