Uses of Class
org.tweetyproject.arg.dung.ldo.syntax.LdoArgument

Packages that use LdoArgument

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

Uses of LdoArgument in org.tweetyproject.arg.dung.ldo.syntax

Methods in org.tweetyproject.arg.dung.ldo.syntax that return LdoArgument

Modifier and Type	Method	Description
LdoArgument	LdoArgument.clone()

Methods in org.tweetyproject.arg.dung.ldo.syntax that return types with arguments of type LdoArgument

Modifier and Type	Method	Description
Set<LdoArgument>	AbstractGraphLdoModality.getAtoms()
Set<LdoArgument>	AbstractLdoModality.getAtoms()
Set<LdoArgument>	LdoArgument.getAtoms()
Set<LdoArgument>	LdoAssociativeFormula.getAtoms()
abstract Set<LdoArgument>	LdoFormula.getAtoms()
Set<LdoArgument>	LdoNegation.getAtoms()
Set<LdoArgument>	LdoRelation.getAtoms()
Set<LdoArgument>	AbstractGraphLdoModality.getLowerReferenceArguments()	Returns the lower reference arguments of this modality.
Set<LdoArgument>	AbstractGraphLdoModality.getUpperReferenceArguments()	Returns the upper reference arguments of this modality.

Methods in org.tweetyproject.arg.dung.ldo.syntax with parameters of type LdoArgument

Modifier and Type	Method	Description
int	LdoArgument.compareTo(LdoArgument o)

Constructors in org.tweetyproject.arg.dung.ldo.syntax with parameters of type LdoArgument

Modifier	Constructor	Description
	LdoArgument(LdoArgument other)

Constructor parameters in org.tweetyproject.arg.dung.ldo.syntax with type arguments of type LdoArgument

Modifier	Constructor	Description
	AbstractGraphLdoModality(LdoFormula innerFormula, Set<LdoArgument> lowerReferenceArguments, Set<LdoArgument> upperReferenceArguments)
	LdoGraphBoxModality(LdoFormula innerFormula, Set<LdoArgument> lowerReferenceArguments, Set<LdoArgument> upperReferenceArguments)
	LdoGraphDiamondModality(LdoFormula innerFormula, Set<LdoArgument> lowerReferenceArguments, Set<LdoArgument> upperReferenceArguments)

Uses of LdoArgument in org.tweetyproject.arg.dung.syntax

Methods in org.tweetyproject.arg.dung.syntax that return LdoArgument

Modifier and Type	Method	Description
LdoArgument	Argument.getLdoArgument()