| Package | Description |
|---|---|
| net.sf.tweety.arg.dung.ldo.syntax | |
| net.sf.tweety.arg.dung.syntax |
| Modifier and Type | Method and Description |
|---|---|
LdoArgument |
LdoArgument.clone() |
| Modifier and Type | Method and Description |
|---|---|
Set<LdoArgument> |
LdoRelation.getAtoms() |
Set<LdoArgument> |
AbstractLdoModality.getAtoms() |
Set<LdoArgument> |
LdoNegation.getAtoms() |
Set<LdoArgument> |
LdoArgument.getAtoms() |
abstract Set<LdoArgument> |
LdoFormula.getAtoms() |
Set<LdoArgument> |
AbstractGraphLdoModality.getAtoms() |
Set<LdoArgument> |
LdoAssociativeFormula.getAtoms() |
Set<LdoArgument> |
AbstractGraphLdoModality.getLowerReferenceArguments()
Returns the lower reference arguments of this modality.
|
Set<LdoArgument> |
AbstractGraphLdoModality.getUpperReferenceArguments()
Returns the upper reference arguments of this modality.
|
| Modifier and Type | Method and Description |
|---|---|
int |
LdoArgument.compareTo(LdoArgument o) |
| Constructor and Description |
|---|
LdoArgument(LdoArgument other) |
| Constructor and Description |
|---|
AbstractGraphLdoModality(LdoFormula innerFormula,
Set<LdoArgument> lowerReferenceArguments,
Set<LdoArgument> upperReferenceArguments) |
AbstractGraphLdoModality(LdoFormula innerFormula,
Set<LdoArgument> lowerReferenceArguments,
Set<LdoArgument> upperReferenceArguments) |
LdoGraphBoxModality(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) |
LdoGraphDiamondModality(LdoFormula innerFormula,
Set<LdoArgument> lowerReferenceArguments,
Set<LdoArgument> upperReferenceArguments) |
| Modifier and Type | Method and Description |
|---|---|
LdoArgument |
Argument.getLdoArgument() |
Copyright © 2018. All rights reserved.