Uses of Class
org.tweetyproject.arg.dung.ldo.syntax.LdoFormula

Packages that use LdoFormula

Package	Description
org.tweetyproject.arg.bipolar.syntax
org.tweetyproject.arg.dung.ldo.semantics
org.tweetyproject.arg.dung.ldo.syntax
org.tweetyproject.arg.dung.syntax
org.tweetyproject.arg.extended.syntax
org.tweetyproject.arg.prob.lotteries
org.tweetyproject.arg.setaf.syntax

Uses of LdoFormula in org.tweetyproject.arg.bipolar.syntax

Methods in org.tweetyproject.arg.bipolar.syntax that return LdoFormula

Modifier and Type	Method	Description
LdoFormula	ArgumentSet.getLdoFormula()	Retrieves the LdoFormula associated with this argument set.
LdoFormula	BinaryAttack.getLdoFormula()
LdoFormula	BinarySupport.getLdoFormula()
LdoFormula	EAttack.getLdoFormula()
LdoFormula	SetAttack.getLdoFormula()
LdoFormula	SetSupport.getLdoFormula()

Uses of LdoFormula in org.tweetyproject.arg.dung.ldo.semantics

Subclasses with type arguments of type LdoFormula in org.tweetyproject.arg.dung.ldo.semantics

Modifier and Type	Class	Description
class	LdoInterpretation	This class models an LDO interpretation, i.e., a pair of an argumentation framework and (possibly) an extension.

Methods in org.tweetyproject.arg.dung.ldo.semantics with parameters of type LdoFormula

Modifier and Type	Method	Description
boolean	LdoInterpretation.satisfies(LdoFormula formula)

Uses of LdoFormula in org.tweetyproject.arg.dung.ldo.syntax

Subclasses of LdoFormula in org.tweetyproject.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	Represents the box modality in the logic of dialectical outcomes (LDO).
class	LdoConjunction	This class represents a conjunction in ldo logic.
class	LdoDiamondModality	Represents the diamond modality in the logic of dialectical outcomes (LDO).
class	LdoDisjunction	This class represents a disjunction in ldo logic.
class	LdoGraphBoxModality	Represents the graph box modality in the logic of dialectical outcomes (LDO).
class	LdoGraphDiamondModality	Represents the graph diamond modality in the logic of dialectical outcomes (LDO).
class	LdoNegation	This class models classical negation of ldo logic.
class	LdoRelation	Creates a relational formula, i.e.

Classes in org.tweetyproject.arg.dung.ldo.syntax that implement interfaces with type arguments of type LdoFormula

Modifier and Type	Class	Description
class	LdoAssociativeFormula	This class captures the common functionalities of formulas with an associative operation like conjunction, disjunction, etc.

Methods in org.tweetyproject.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 org.tweetyproject.arg.dung.ldo.syntax that return types with arguments of type LdoFormula

Modifier and Type	Method	Description
List<LdoFormula>	LdoAssociativeFormula.getFormulas()
Set<LdoFormula>	AbstractLdoModality.getLiterals()
Set<LdoFormula>	LdoArgument.getLiterals()
Set<LdoFormula>	LdoAssociativeFormula.getLiterals()
abstract Set<LdoFormula>	LdoFormula.getLiterals()	Returns all literals, i.e.
Set<LdoFormula>	LdoNegation.getLiterals()
Set<LdoFormula>	LdoRelation.getLiterals()
Iterator<LdoFormula>	LdoAssociativeFormula.iterator()
ListIterator<LdoFormula>	LdoAssociativeFormula.listIterator()
ListIterator<LdoFormula>	LdoAssociativeFormula.listIterator(int index)
List<LdoFormula>	LdoAssociativeFormula.subList(int fromIndex, int toIndex)

Methods in org.tweetyproject.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)
boolean	LdoAssociativeFormula.add(LdoFormula... formulas)	Adds the specified elements to the end of this collection (optional operation).
LdoFormula	LdoAssociativeFormula.set(int index, LdoFormula element)

Method parameters in org.tweetyproject.arg.dung.ldo.syntax with type arguments of type LdoFormula

Modifier and Type	Method	Description
boolean	LdoAssociativeFormula.addAll(int index, Collection<? extends LdoFormula> c)
boolean	LdoAssociativeFormula.addAll(Collection<? extends LdoFormula> c)

Constructors in org.tweetyproject.arg.dung.ldo.syntax with parameters of type LdoFormula

Modifier	Constructor	Description
	AbstractGraphLdoModality(LdoFormula innerFormula, Set<LdoArgument> lowerReferenceArguments, Set<LdoArgument> upperReferenceArguments)	Constructs an instance of this modality with specified inner formula and sets of reference arguments.
	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, Set<LdoArgument> lowerReferenceArguments, Set<LdoArgument> upperReferenceArguments)
	LdoGraphDiamondModality(LdoFormula innerFormula, Set<LdoArgument> lowerReferenceArguments, Set<LdoArgument> upperReferenceArguments)
	LdoNegation(LdoFormula formula)	Creates a new negation with the given formula.
	LdoRelation(LdoFormula left, LdoFormula right)

Constructor parameters in org.tweetyproject.arg.dung.ldo.syntax with type arguments of type LdoFormula

Modifier	Constructor	Description
	LdoAssociativeFormula(Collection<? extends LdoFormula> formulas)	Creates a new associative formula with the given inner formulas.
	LdoConjunction(Collection<? extends LdoFormula> formulas)	Creates a new conjunction with the given inner formulas.
	LdoDisjunction(Collection<? extends LdoFormula> formulas)	Creates a new disjunction with the given inner formulas.

Uses of LdoFormula in org.tweetyproject.arg.dung.syntax

Methods in org.tweetyproject.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 org.tweetyproject.arg.extended.syntax

Methods in org.tweetyproject.arg.extended.syntax that return LdoFormula

Modifier and Type	Method	Description
LdoFormula	ExtendedAttack.getLdoFormula()

Uses of LdoFormula in org.tweetyproject.arg.prob.lotteries

Subclasses with type arguments of type LdoFormula in org.tweetyproject.arg.prob.lotteries

Modifier and Type	Class	Description
class	LdoUtilityFunction	A utility function that maps LDO formulas to utilities

Methods in org.tweetyproject.arg.prob.lotteries that return types with arguments of type LdoFormula

Modifier and Type	Method	Description
Collection<LdoFormula>	LdoArgumentationLottery.getPossibleOutcomes()	Returns the set of possible outcomes.

Methods in org.tweetyproject.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 org.tweetyproject.arg.prob.lotteries with type arguments of type LdoFormula

Modifier	Constructor	Description
	LdoArgumentationLottery(Collection<LdoFormula> formulas, SubgraphProbabilityFunction p, Semantics semantics)	Creates a new lottery for the given set of formulas using the given probability function and semantics.

Uses of LdoFormula in org.tweetyproject.arg.setaf.syntax

Methods in org.tweetyproject.arg.setaf.syntax that return LdoFormula

Modifier and Type	Method	Description
LdoFormula	SetAttack.getLdoFormula()