Uses of Package
org.tweetyproject.arg.dung.ldo.syntax
-
Classes in org.tweetyproject.arg.dung.ldo.syntax used by org.tweetyproject.arg.bipolar.syntax Class Description LdoFormula This abstract class specifies the general methods of all Ldo-formulas (LDO - Logic of dialectical outcomes, cf. -
Classes in org.tweetyproject.arg.dung.ldo.syntax used by org.tweetyproject.arg.dung.ldo.semantics Class Description LdoFormula This abstract class specifies the general methods of all Ldo-formulas (LDO - Logic of dialectical outcomes, cf. -
Classes in org.tweetyproject.arg.dung.ldo.syntax used by org.tweetyproject.arg.dung.ldo.syntax 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.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. -
Classes in org.tweetyproject.arg.dung.ldo.syntax used by org.tweetyproject.arg.dung.syntax Class 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. -
Classes in org.tweetyproject.arg.dung.ldo.syntax used by org.tweetyproject.arg.prob.lotteries Class Description LdoFormula This abstract class specifies the general methods of all Ldo-formulas (LDO - Logic of dialectical outcomes, cf.