Package | Description |
---|---|
net.sf.tweety.arg.dung.ldo.semantics | |
net.sf.tweety.arg.dung.ldo.syntax | |
net.sf.tweety.arg.dung.syntax | |
net.sf.tweety.arg.prob.lotteries |
Class and Description |
---|
LdoFormula
This abstract class specifies the general methods of all Ldo-formulas
(LDO - Logic of dialectical outcomes, cf.
|
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.
|