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.prob.lotteries

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()
LdoFormula	BinaryAttack.getLdoFormula()
LdoFormula	BinarySupport.getLdoFormula()
LdoFormula	SetAttack.getLdoFormula()
LdoFormula	SetSupport.getLdoFormula()

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

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
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.

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
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 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, java.util.Collection<? extends LdoFormula> c)
boolean	LdoAssociativeFormula.addAll(java.util.Collection<? extends LdoFormula> c)

Constructors in org.tweetyproject.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 org.tweetyproject.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 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.prob.lotteries

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

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.