Uses of Class
net.sf.tweety.arg.dung.ldo.syntax.LdoFormula
-
Packages that use LdoFormula Package Description net.sf.tweety.arg.bipolar.syntax 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.bipolar.syntax
Methods in net.sf.tweety.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 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.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 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)
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 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
Methods 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.
-