Package | Description |
---|---|
net.sf.tweety.arg.dung.ldo.syntax | |
net.sf.tweety.arg.dung.syntax |
Modifier and Type | Field and Description |
---|---|
private java.util.Set<LdoArgument> |
AbstractGraphLdoModality.lowerReferenceArguments |
private java.util.Set<LdoArgument> |
AbstractGraphLdoModality.upperReferenceArguments |
Modifier and Type | Method and Description |
---|---|
LdoArgument |
LdoArgument.clone() |
Modifier and Type | Method and Description |
---|---|
java.util.Set<LdoArgument> |
LdoRelation.getAtoms() |
java.util.Set<LdoArgument> |
LdoNegation.getAtoms() |
abstract java.util.Set<LdoArgument> |
LdoFormula.getAtoms() |
java.util.Set<LdoArgument> |
LdoAssociativeFormula.getAtoms() |
java.util.Set<LdoArgument> |
LdoArgument.getAtoms() |
java.util.Set<LdoArgument> |
AbstractLdoModality.getAtoms() |
java.util.Set<LdoArgument> |
AbstractGraphLdoModality.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.
|
Modifier and Type | Method and Description |
---|---|
int |
LdoArgument.compareTo(LdoArgument o) |
Constructor and Description |
---|
LdoArgument(LdoArgument other) |
Constructor and Description |
---|
AbstractGraphLdoModality(LdoFormula innerFormula,
java.util.Set<LdoArgument> lowerReferenceArguments,
java.util.Set<LdoArgument> upperReferenceArguments) |
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) |
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) |
LdoGraphDiamondModality(LdoFormula innerFormula,
java.util.Set<LdoArgument> lowerReferenceArguments,
java.util.Set<LdoArgument> upperReferenceArguments) |
Modifier and Type | Method and Description |
---|---|
LdoArgument |
Argument.getLdoArgument() |