Uses of Class
net.sf.tweety.arg.dung.ldo.syntax.LdoArgument

Packages that use LdoArgument

Package	Description
net.sf.tweety.arg.dung.ldo.syntax
net.sf.tweety.arg.dung.syntax

Uses of LdoArgument in net.sf.tweety.arg.dung.ldo.syntax

Fields in net.sf.tweety.arg.dung.ldo.syntax with type parameters of type LdoArgument

Modifier and Type	Field and Description
private java.util.Set<LdoArgument>	AbstractGraphLdoModality.lowerReferenceArguments
private java.util.Set<LdoArgument>	AbstractGraphLdoModality.upperReferenceArguments

Methods in net.sf.tweety.arg.dung.ldo.syntax that return LdoArgument

Modifier and Type	Method and Description
LdoArgument	LdoArgument.clone()

Methods in net.sf.tweety.arg.dung.ldo.syntax that return types with arguments of type LdoArgument

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

Methods in net.sf.tweety.arg.dung.ldo.syntax with parameters of type LdoArgument

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

Constructors in net.sf.tweety.arg.dung.ldo.syntax with parameters of type LdoArgument

Constructor and Description
LdoArgument(LdoArgument other)

Constructor parameters in net.sf.tweety.arg.dung.ldo.syntax with type arguments of type LdoArgument

Constructor and Description
AbstractGraphLdoModality(LdoFormula innerFormula, java.util.Set<LdoArgument> lowerReferenceArguments, java.util.Set<LdoArgument> upperReferenceArguments)
AbstractGraphLdoModality(LdoFormula innerFormula, java.util.Set<LdoArgument> lowerReferenceArguments, java.util.Set<LdoArgument> upperReferenceArguments)
LdoGraphBoxModality(LdoFormula innerFormula, java.util.Set<LdoArgument> lowerReferenceArguments, java.util.Set<LdoArgument> upperReferenceArguments)
LdoGraphBoxModality(LdoFormula innerFormula, java.util.Set<LdoArgument> lowerReferenceArguments, java.util.Set<LdoArgument> upperReferenceArguments)
LdoGraphDiamondModality(LdoFormula innerFormula, java.util.Set<LdoArgument> lowerReferenceArguments, java.util.Set<LdoArgument> upperReferenceArguments)
LdoGraphDiamondModality(LdoFormula innerFormula, java.util.Set<LdoArgument> lowerReferenceArguments, java.util.Set<LdoArgument> upperReferenceArguments)

Uses of LdoArgument in net.sf.tweety.arg.dung.syntax

Methods in net.sf.tweety.arg.dung.syntax that return LdoArgument

Modifier and Type	Method and Description
LdoArgument	Argument.getLdoArgument()