Uses of Class
org.tweetyproject.arg.dung.ldo.syntax.LdoArgument
Packages that use LdoArgument
-
Uses of LdoArgument in org.tweetyproject.arg.dung.ldo.syntax
Methods in org.tweetyproject.arg.dung.ldo.syntax that return LdoArgumentMethods in org.tweetyproject.arg.dung.ldo.syntax that return types with arguments of type LdoArgumentModifier and TypeMethodDescriptionAbstractGraphLdoModality.getAtoms()AbstractLdoModality.getAtoms()LdoArgument.getAtoms()LdoAssociativeFormula.getAtoms()abstract Set<LdoArgument>LdoFormula.getAtoms()LdoNegation.getAtoms()LdoRelation.getAtoms()AbstractGraphLdoModality.getLowerReferenceArguments()Returns the lower reference arguments of this modality.AbstractGraphLdoModality.getUpperReferenceArguments()Returns the upper reference arguments of this modality.Methods in org.tweetyproject.arg.dung.ldo.syntax with parameters of type LdoArgumentConstructors in org.tweetyproject.arg.dung.ldo.syntax with parameters of type LdoArgumentModifierConstructorDescriptionLdoArgument(LdoArgument other) Creates a copy of the given LDO argument.Constructor parameters in org.tweetyproject.arg.dung.ldo.syntax with type arguments of type LdoArgumentModifierConstructorDescriptionAbstractGraphLdoModality(LdoFormula innerFormula, Set<LdoArgument> lowerReferenceArguments, Set<LdoArgument> upperReferenceArguments) Constructs an instance of this modality with specified inner formula and sets of reference arguments.LdoGraphBoxModality(LdoFormula innerFormula, Set<LdoArgument> lowerReferenceArguments, Set<LdoArgument> upperReferenceArguments) Creates a graph box modality around the given formula.LdoGraphDiamondModality(LdoFormula innerFormula, Set<LdoArgument> lowerReferenceArguments, Set<LdoArgument> upperReferenceArguments) Creates a graph diamond modality around the given formula. -
Uses of LdoArgument in org.tweetyproject.arg.dung.syntax
Methods in org.tweetyproject.arg.dung.syntax that return LdoArgumentModifier and TypeMethodDescriptionArgument.getLdoArgument()Returns the corresponding LDO argument.