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

ClassDescriptionProvides common functionalities for the graphbased modalities in LDO.Provides common functionalities for all modalities in LDO.This class represents an argument in ldo.This class captures the common functionalities of formulas with an associative operation like conjunction, disjunction, etc.Represents the box modality in the logic of dialectical outcomes (LDO).This class represents a conjunction in ldo logic.Represents the diamond modality in the logic of dialectical outcomes (LDO).This class represents a disjunction in ldo logic.This abstract class specifies the general methods of all Ldoformulas (LDO  Logic of dialectical outcomes, cf.Represents the graph box modality in the logic of dialectical outcomes (LDO).Represents the graph diamond modality in the logic of dialectical outcomes (LDO).This class models classical negation of ldo logic.Creates a relational formula, i.e.