Package org.tweetyproject.arg.dung.ldo.syntax

package org.tweetyproject.arg.dung.ldo.syntax

Classes

Class	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.
LdoBoxModality	Represents the box modality in the logic of dialectical outcomes (LDO).
LdoConjunction	This class represents a conjunction in ldo logic.
LdoDiamondModality	Represents the diamond modality in the logic of dialectical outcomes (LDO).
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.
LdoGraphBoxModality	Represents the graph box modality in the logic of dialectical outcomes (LDO).
LdoGraphDiamondModality	Represents the graph diamond modality in the logic of dialectical outcomes (LDO).
LdoNegation	This class models classical negation of ldo logic.
LdoRelation	Creates a relational formula, i.e.