Uses of Class net.sf.tweety.arg.dung.ldo.syntax.LdoFormula

Packages that use LdoFormula
Package	Description
net.sf.tweety.arg.dung.ldo.semantics
net.sf.tweety.arg.dung.ldo.syntax
net.sf.tweety.arg.dung.syntax
net.sf.tweety.arg.prob.lotteries

Uses of LdoFormula in net.sf.tweety.arg.dung.ldo.semantics

Methods in net.sf.tweety.arg.dung.ldo.semantics with parameters of type LdoFormula
Modifier and Type Method Description

boolean LdoInterpretation.satisfies(LdoFormula formula)

Uses of LdoFormula in net.sf.tweety.arg.dung.ldo.syntax

Subclasses of LdoFormula in net.sf.tweety.arg.dung.ldo.syntax
Modifier and Type	Class	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.

Fields in net.sf.tweety.arg.dung.ldo.syntax declared as LdoFormula
Modifier and Type	Field	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`

Fields in net.sf.tweety.arg.dung.ldo.syntax with type parameters of type LdoFormula
Modifier and Type	Field	Description
`protected AssociativeFormulaSupport<LdoFormula>`	LdoAssociativeFormula.`support`	The inner formulas of this formula

Methods in net.sf.tweety.arg.dung.ldo.syntax that return LdoFormula
Modifier and Type	Method	Description
`abstract LdoFormula`	AbstractGraphLdoModality.`clone()`
`abstract LdoFormula`	AbstractLdoModality.`clone()`
`LdoFormula`	LdoBoxModality.`clone()`
`LdoFormula`	LdoDiamondModality.`clone()`
`LdoFormula`	LdoDisjunction.`clone()`
`abstract LdoFormula`	LdoFormula.`clone()`
`LdoFormula`	LdoGraphBoxModality.`clone()`
`LdoFormula`	LdoGraphDiamondModality.`clone()`
`LdoFormula`	LdoNegation.`clone()`
`LdoFormula`	LdoRelation.`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)`

Methods in net.sf.tweety.arg.dung.ldo.syntax that return types with arguments of type LdoFormula
Modifier and Type	Method	Description
`java.util.List<LdoFormula>`	LdoAssociativeFormula.`getFormulas()`
`java.util.Set<LdoFormula>`	AbstractLdoModality.`getLiterals()`
`java.util.Set<LdoFormula>`	LdoArgument.`getLiterals()`
`java.util.Set<LdoFormula>`	LdoAssociativeFormula.`getLiterals()`
`abstract java.util.Set<LdoFormula>`	LdoFormula.`getLiterals()`	Returns all literals, i.e.
`java.util.Set<LdoFormula>`	LdoNegation.`getLiterals()`
`java.util.Set<LdoFormula>`	LdoRelation.`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)`

Methods in net.sf.tweety.arg.dung.ldo.syntax with parameters of type LdoFormula
Modifier and Type	Method	Description
`void`	LdoAssociativeFormula.`add(int index, LdoFormula element)`
`boolean`	LdoAssociativeFormula.`add(LdoFormula f)`
`LdoFormula`	LdoAssociativeFormula.`set(int index, LdoFormula element)`

Method parameters in net.sf.tweety.arg.dung.ldo.syntax with type arguments of type LdoFormula
Modifier and Type	Method	Description
`boolean`	LdoAssociativeFormula.`addAll(int index, java.util.Collection<? extends LdoFormula> c)`
`boolean`	LdoAssociativeFormula.`addAll(java.util.Collection<? extends LdoFormula> c)`

Constructors in net.sf.tweety.arg.dung.ldo.syntax with parameters of type LdoFormula
Constructor	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 parameters in net.sf.tweety.arg.dung.ldo.syntax with type arguments of type LdoFormula
Constructor	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.

Uses of LdoFormula in net.sf.tweety.arg.dung.syntax

Methods in net.sf.tweety.arg.dung.syntax that return LdoFormula
Modifier and Type	Method	Description
`LdoFormula`	Argument.`getLdoFormula()`
`LdoFormula`	Attack.`getLdoFormula()`
`LdoFormula`	DungEntity.`getLdoFormula()`	Returns a logical representation of this entity in LDO (Logic of dialectical outcomes, cf.

Uses of LdoFormula in net.sf.tweety.arg.prob.lotteries

Fields in net.sf.tweety.arg.prob.lotteries with type parameters of type LdoFormula
Modifier and Type	Field	Description
`private java.util.Map<LdoFormula,Probability>`	LdoArgumentationLottery.`prob`	Maps LdoFormulas to probabilities

Methods in net.sf.tweety.arg.prob.lotteries that return types with arguments of type LdoFormula
Modifier and Type	Method	Description
`java.util.Collection<LdoFormula>`	LdoArgumentationLottery.`getPossibleOutcomes()`	Returns the set of possible outcomes.

Methods in net.sf.tweety.arg.prob.lotteries with parameters of type LdoFormula
Modifier and Type	Method	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 parameters in net.sf.tweety.arg.prob.lotteries with type arguments of type LdoFormula
Constructor	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.