Package | Description |
---|---|
net.sf.tweety.arg.dung.ldo.syntax | |
net.sf.tweety.arg.dung.syntax | |
net.sf.tweety.arg.prob.lotteries |
Modifier and Type | Class and Description |
---|---|
class |
AbstractGraphLdoModality
Provides common functionalities for the graph-based modalities in LDO.
|
class |
AbstractLdoModality
Provides common functionalities for all modalities in LDO.
|
class |
LdoArgument
This class represents an argument in ldo.
|
class |
LdoAssociativeFormula
This class captures the common functionalities of formulas with an associative
operation like conjunction, disjunction, etc.
|
class |
LdoBoxModality |
class |
LdoConjunction
This class represents a conjunction in ldo logic.
|
class |
LdoDiamondModality |
class |
LdoDisjunction
This class represents a disjunction in ldo logic.
|
class |
LdoGraphBoxModality |
class |
LdoGraphDiamondModality |
class |
LdoNegation
This class models classical negation of ldo logic.
|
class |
LdoRelation
Creates a relational formula, i.e.
|
Modifier and Type | Field and Description |
---|---|
private LdoFormula |
LdoNegation.formula
The formula within this negation.
|
private LdoFormula |
AbstractLdoModality.innerFormula
The inner formula of this modality
|
private LdoFormula |
LdoRelation.left |
private LdoFormula |
LdoRelation.right |
Modifier and Type | Field and Description |
---|---|
protected AssociativeFormulaSupport<LdoFormula> |
LdoAssociativeFormula.support
The inner formulas of this formula
|
Modifier and Type | Method and Description |
---|---|
LdoFormula |
LdoRelation.clone() |
abstract LdoFormula |
AbstractLdoModality.clone() |
LdoFormula |
LdoNegation.clone() |
LdoFormula |
LdoGraphBoxModality.clone() |
abstract LdoFormula |
LdoFormula.clone() |
LdoFormula |
LdoGraphDiamondModality.clone() |
abstract LdoFormula |
AbstractGraphLdoModality.clone() |
LdoFormula |
LdoBoxModality.clone() |
LdoFormula |
LdoDisjunction.clone() |
LdoFormula |
LdoDiamondModality.clone() |
LdoFormula |
LdoAssociativeFormula.get(int index) |
LdoFormula |
LdoNegation.getFormula()
Returns the formula within this negation.
|
LdoFormula |
AbstractLdoModality.getInnerFormula()
Returns the inner formula of this modality.
|
LdoFormula |
LdoRelation.getLeft() |
LdoFormula |
LdoRelation.getRight() |
LdoFormula |
LdoAssociativeFormula.remove(int index) |
LdoFormula |
LdoAssociativeFormula.set(int index,
LdoFormula element) |
Modifier and Type | Method and Description |
---|---|
java.util.List<LdoFormula> |
LdoAssociativeFormula.getFormulas() |
java.util.Set<LdoFormula> |
LdoRelation.getLiterals() |
java.util.Set<LdoFormula> |
AbstractLdoModality.getLiterals() |
java.util.Set<LdoFormula> |
LdoNegation.getLiterals() |
java.util.Set<LdoFormula> |
LdoArgument.getLiterals() |
abstract java.util.Set<LdoFormula> |
LdoFormula.getLiterals()
Returns all literals, i.e.
|
java.util.Set<LdoFormula> |
LdoAssociativeFormula.getLiterals() |
java.util.Iterator<LdoFormula> |
LdoAssociativeFormula.iterator() |
java.util.ListIterator<LdoFormula> |
LdoAssociativeFormula.listIterator() |
java.util.ListIterator<LdoFormula> |
LdoAssociativeFormula.listIterator(int index) |
java.util.List<LdoFormula> |
LdoAssociativeFormula.subList(int fromIndex,
int toIndex) |
Modifier and Type | Method and Description |
---|---|
void |
LdoAssociativeFormula.add(int index,
LdoFormula element) |
boolean |
LdoAssociativeFormula.add(LdoFormula f) |
LdoFormula |
LdoAssociativeFormula.set(int index,
LdoFormula element) |
Modifier and Type | Method and Description |
---|---|
boolean |
LdoAssociativeFormula.addAll(java.util.Collection<? extends LdoFormula> c) |
boolean |
LdoAssociativeFormula.addAll(int index,
java.util.Collection<? extends LdoFormula> c) |
Constructor and Description |
---|
AbstractGraphLdoModality(LdoFormula innerFormula,
java.util.Set<LdoArgument> lowerReferenceArguments,
java.util.Set<LdoArgument> upperReferenceArguments) |
AbstractLdoModality(LdoFormula innerFormula)
Creates a new modality for the given inner formula
|
LdoAssociativeFormula(LdoFormula first,
LdoFormula second)
Creates a new associative formula with the two given formulae
|
LdoBoxModality(LdoFormula innerFormula) |
LdoConjunction(LdoFormula first,
LdoFormula second)
Creates a new conjunction with the two given formulae
|
LdoDiamondModality(LdoFormula innerFormula) |
LdoDisjunction(LdoFormula first,
LdoFormula second)
Creates a new disjunction with the two given formulae
|
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) |
LdoNegation(LdoFormula formula)
Creates a new negation with the given formula.
|
LdoRelation(LdoFormula left,
LdoFormula right) |
Constructor and Description |
---|
LdoAssociativeFormula(java.util.Collection<? extends LdoFormula> formulas)
Creates a new associative formula with the given inner formulas.
|
LdoConjunction(java.util.Collection<? extends LdoFormula> formulas)
Creates a new conjunction with the given inner formulas.
|
LdoDisjunction(java.util.Collection<? extends LdoFormula> formulas)
Creates a new disjunction with the given inner formulas.
|
Modifier and Type | Method and Description |
---|---|
LdoFormula |
DungEntity.getLdoFormula()
Returns a logical representation of this entity in LDO
(Logic of dialectical outcomes, cf.
|
LdoFormula |
Attack.getLdoFormula() |
LdoFormula |
Argument.getLdoFormula() |
Modifier and Type | Field and Description |
---|---|
private java.util.Map<LdoFormula,Probability> |
LdoArgumentationLottery.prob
Maps LdoFormulas to probabilities
|
Modifier and Type | Method and Description |
---|---|
java.util.Collection<LdoFormula> |
LdoArgumentationLottery.getPossibleOutcomes()
Returns the set of possible outcomes.
|
Modifier and Type | Method and Description |
---|---|
Probability |
LdoArgumentationLottery.get(LdoFormula f)
Returns the probability of the given outcome.
|
Probability |
SubgraphProbabilityFunction.getAcceptanceProbability(LdoFormula f,
Semantics semantics)
Returns the probability of the given formula being acceptable wrt.
|
Constructor and Description |
---|
LdoArgumentationLottery(java.util.Collection<LdoFormula> formulas,
SubgraphProbabilityFunction p,
Semantics semantics)
Creates a new lottery for the given set of formulas using the given
probability function and semantics.
|