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

Packages that use LdoFormula

Package	Description
net.sf.tweety.arg.dung.ldo.syntax
net.sf.tweety.arg.dung.syntax

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

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

Modifier and Type	Field and 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 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)

Methods in net.sf.tweety.arg.dung.ldo.syntax that return types with arguments of type LdoFormula

Modifier and Type	Method and Description
List<LdoFormula>	LdoAssociativeFormula.getFormulas()
Set<LdoFormula>	LdoRelation.getLiterals()
Set<LdoFormula>	AbstractLdoModality.getLiterals()
Set<LdoFormula>	LdoNegation.getLiterals()
Set<LdoFormula>	LdoArgument.getLiterals()
abstract Set<LdoFormula>	LdoFormula.getLiterals() Returns all literals, i.e.
Set<LdoFormula>	LdoAssociativeFormula.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 and 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 and Description
boolean	LdoAssociativeFormula.addAll(Collection<? extends LdoFormula> c)
boolean	LdoAssociativeFormula.addAll(int index, Collection<? extends LdoFormula> c)

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

Constructor and 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 and 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 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()