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

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 with type parameters of type LdoFormula

Modifier and Type	Field	Description
protected net.sf.tweety.logics.commons.syntax.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
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 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, Collection<? extends LdoFormula> c)
boolean	LdoAssociativeFormula.addAll(Collection<? extends LdoFormula> c)

Constructors in net.sf.tweety.arg.dung.ldo.syntax with parameters of type LdoFormula

Constructor	Description
AbstractGraphLdoModality(LdoFormula innerFormula, Set<LdoArgument> lowerReferenceArguments, 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, 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 net.sf.tweety.arg.dung.ldo.syntax with type arguments of type LdoFormula

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