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 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 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 Constructor Description LdoArgument(LdoArgument other)
Constructor parameters in org.tweetyproject.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 org.tweetyproject.arg.dung.syntax
Methods in org.tweetyproject.arg.dung.syntax that return LdoArgument Modifier and Type Method Description LdoArgument
Argument. getLdoArgument()
-