Uses of Class
org.tweetyproject.arg.dung.ldo.syntax.LdoArgument
Packages that use LdoArgument
-
Uses of LdoArgument in org.tweetyproject.arg.dung.ldo.syntax
Classes in org.tweetyproject.arg.dung.ldo.syntax that implement interfaces with type arguments of type LdoArgumentMethods 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 LdoArgumentConstructor 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) 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