Uses of Class
org.tweetyproject.arg.dung.ldo.syntax.LdoArgument
-
Uses of LdoArgument in org.tweetyproject.arg.dung.ldo.syntax
Modifier 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.ModifierConstructorDescriptionAbstractGraphLdoModality(LdoFormula innerFormula, Set<LdoArgument> lowerReferenceArguments, Set<LdoArgument> upperReferenceArguments)
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