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 modalityprivate 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 formulaMethods 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 formulaLdoAssociativeFormula(LdoFormula first, LdoFormula second)
Creates a new associative formula with the two given formulaeLdoBoxModality(LdoFormula innerFormula)
LdoConjunction(LdoFormula first, LdoFormula second)
Creates a new conjunction with the two given formulaeLdoDiamondModality(LdoFormula innerFormula)
LdoDisjunction(LdoFormula first, LdoFormula second)
Creates a new disjunction with the two given formulaeLdoGraphBoxModality(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 probabilitiesMethods 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.
-