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

Methods in net.sf.tweety.arg.dung.ldo.syntax that return LdoArgument
Modifier and Type	Method	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	Description
`java.util.Set<LdoArgument>`	AbstractGraphLdoModality.`getAtoms()`
`java.util.Set<LdoArgument>`	AbstractLdoModality.`getAtoms()`
`java.util.Set<LdoArgument>`	LdoArgument.`getAtoms()`
`java.util.Set<LdoArgument>`	LdoAssociativeFormula.`getAtoms()`
`abstract java.util.Set<LdoArgument>`	LdoFormula.`getAtoms()`
`java.util.Set<LdoArgument>`	LdoNegation.`getAtoms()`
`java.util.Set<LdoArgument>`	LdoRelation.`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	Description
`int`	LdoArgument.`compareTo(LdoArgument o)`

Constructors in net.sf.tweety.arg.dung.ldo.syntax with parameters of type LdoArgument
Constructor	Description
`LdoArgument(LdoArgument other)`

Constructor parameters in net.sf.tweety.arg.dung.ldo.syntax with type arguments of type LdoArgument
Constructor	Description
`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)`
`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 Description

LdoArgument Argument.getLdoArgument()