Uses of Class
net.sf.tweety.arg.adf.syntax.Argument
-
Packages that use Argument Package Description net.sf.tweety.arg.adf.parser net.sf.tweety.arg.adf.reasoner net.sf.tweety.arg.adf.semantics net.sf.tweety.arg.adf.syntax -
-
Uses of Argument in net.sf.tweety.arg.adf.parser
Fields in net.sf.tweety.arg.adf.parser with type parameters of type Argument Modifier and Type Field Description private java.util.Map<Argument,AcceptanceCondition>
KPPADFFormatParser.ACNode. accByArgument
private java.util.Map<java.lang.String,Argument>
KPPADFFormatParser.IdentifierNode. statements
private java.util.Map<java.lang.String,Argument>
KPPADFFormatParser.SNode. statements
Methods in net.sf.tweety.arg.adf.parser that return Argument Modifier and Type Method Description Argument
KPPADFFormatParser.IdentifierNode. parseArgument()
(package private) Argument
KPPADFFormatParser.Node. parseArgument()
Constructor parameters in net.sf.tweety.arg.adf.parser with type arguments of type Argument Constructor Description ACNode(java.util.Map<Argument,AcceptanceCondition> accByArgument)
IdentifierNode(java.lang.String name, java.util.Map<java.lang.String,Argument> statements)
SNode(java.util.Map<java.lang.String,Argument> statements)
-
Uses of Argument in net.sf.tweety.arg.adf.reasoner
Fields in net.sf.tweety.arg.adf.reasoner with type parameters of type Argument Modifier and Type Field Description private Cache<Argument,Proposition>
SatEncoding. falses
private Cache<Argument,Proposition>
SatEncoding. trues
Methods in net.sf.tweety.arg.adf.reasoner with parameters of type Argument Modifier and Type Method Description Link
LinkStrategy. compute(AbstractDialecticalFramework adf, Argument a, Argument b)
Link
SatLinkStrategy. compute(AbstractDialecticalFramework adf, Argument a, Argument b)
java.lang.Boolean
AbstractDialecticalFrameworkReasoner. query(AbstractDialecticalFramework beliefbase, Argument formula)
java.lang.Boolean
AbstractDialecticalFrameworkReasoner. query(AbstractDialecticalFramework beliefbase, Argument formula, InferenceMode inferenceMode)
Queries the given AAF for the given argument using the given inference type.Method parameters in net.sf.tweety.arg.adf.reasoner with type arguments of type Argument Modifier and Type Method Description PlBeliefSet
SatModelReasoner. getPropositionalCharacterisation(AbstractDialecticalFramework aaf, Cache<Argument,PlFormula> cache)
returns a propositional characterisation of the reasoning problem -
Uses of Argument in net.sf.tweety.arg.adf.semantics
Fields in net.sf.tweety.arg.adf.semantics declared as Argument Modifier and Type Field Description private Argument
Link. from
private Argument
Link. to
Fields in net.sf.tweety.arg.adf.semantics with type parameters of type Argument Modifier and Type Field Description private java.util.Set<Argument>
Interpretation. satisfied
private java.util.Set<Argument>
Interpretation. undecided
private java.util.Set<Argument>
Interpretation. unsatisfied
Methods in net.sf.tweety.arg.adf.semantics that return Argument Modifier and Type Method Description Argument
Link. getFrom()
Argument
Link. getTo()
Methods in net.sf.tweety.arg.adf.semantics that return types with arguments of type Argument Modifier and Type Method Description java.util.stream.Stream<Argument>
Interpretation. arguments()
java.util.Set<Argument>
Interpretation. getSatisfied()
java.util.Set<Argument>
Interpretation. getUndecided()
java.util.Set<Argument>
Interpretation. getUnsatisfied()
java.util.stream.Stream<Argument>
Interpretation. satisfied()
java.util.stream.Stream<Argument>
Interpretation. undecided()
java.util.stream.Stream<Argument>
Interpretation. unsatisfied()
Methods in net.sf.tweety.arg.adf.semantics with parameters of type Argument Modifier and Type Method Description boolean
Interpretation. contains(Argument a)
java.lang.Boolean
Interpretation. get(Argument a)
TODO define functionalityboolean
Interpretation. isSatisfied(Argument a)
boolean
Interpretation. isUndecided(Argument a)
boolean
Interpretation. isUnsatisfied(Argument a)
boolean
Interpretation. satisfies(Argument formula)
Constructors in net.sf.tweety.arg.adf.semantics with parameters of type Argument Constructor Description Link(Argument from, Argument to, LinkType linkType)
Creates a new link.Constructor parameters in net.sf.tweety.arg.adf.semantics with type arguments of type Argument Constructor Description Interpretation(java.lang.Iterable<Argument> undecided)
Interpretation(java.util.Collection<Argument> undecided)
Interpretation(java.util.Map<Argument,java.lang.Boolean> assignments)
-
Uses of Argument in net.sf.tweety.arg.adf.syntax
Fields in net.sf.tweety.arg.adf.syntax with type parameters of type Argument Modifier and Type Field Description private java.util.Map<Argument,AcceptanceCondition>
AbstractDialecticalFramework. accByArgument
private java.util.Map<Argument,java.util.Set<Argument>>
AbstractDialecticalFramework. childrenByParent
Maps an argument to all the arguments in which it occurs in their acceptance condition.private java.util.Map<Argument,java.util.Set<Argument>>
AbstractDialecticalFramework. childrenByParent
Maps an argument to all the arguments in which it occurs in their acceptance condition.private Cache<Pair<Argument,Argument>,Link>
AbstractDialecticalFramework. linkCache
private Cache<Pair<Argument,Argument>,Link>
AbstractDialecticalFramework. linkCache
private java.util.Map<Argument,java.util.Set<Argument>>
AbstractDialecticalFramework. parentsByChild
Maps an argument to the arguments of its acceptance conditionprivate java.util.Map<Argument,java.util.Set<Argument>>
AbstractDialecticalFramework. parentsByChild
Maps an argument to the arguments of its acceptance conditionMethods in net.sf.tweety.arg.adf.syntax that return types with arguments of type Argument Modifier and Type Method Description java.util.stream.Stream<Argument>
AbstractDialecticalFramework. arguments()
java.util.stream.Stream<Argument>
AcceptanceCondition. arguments()
Recursively computes all of the arguments occuring in this acceptance condition.java.util.stream.Stream<Argument>
Argument. arguments()
java.util.stream.Stream<Argument>
ConjunctionAcceptanceCondition. arguments()
java.util.stream.Stream<Argument>
ContradictionAcceptanceCondition. arguments()
java.util.stream.Stream<Argument>
DisjunctionAcceptanceCondition. arguments()
java.util.stream.Stream<Argument>
EquivalenceAcceptanceCondition. arguments()
java.util.stream.Stream<Argument>
ExclusiveDisjunctionAcceptanceCondition. arguments()
java.util.stream.Stream<Argument>
ImplicationAcceptanceCondition. arguments()
java.util.stream.Stream<Argument>
NegationAcceptanceCondition. arguments()
java.util.stream.Stream<Argument>
TautologyAcceptanceCondition. arguments()
java.util.Iterator<Argument>
AbstractDialecticalFramework. iterator()
java.util.stream.Stream<Argument>
AbstractDialecticalFramework. parents(Argument child)
Methods in net.sf.tweety.arg.adf.syntax with parameters of type Argument Modifier and Type Method Description AcceptanceCondition
AbstractDialecticalFramework. getAcceptanceCondition(Argument argument)
Link
AbstractDialecticalFramework. link(Argument a, Argument b)
Computes the link (a,b) iff necessary and returns it afterwards.java.util.stream.Stream<Link>
AbstractDialecticalFramework. linksToChildren(Argument a)
TODO define functionalityjava.util.stream.Stream<Link>
AbstractDialecticalFramework. linksToParent(Argument b)
TODO define functionalityjava.util.stream.Stream<Argument>
AbstractDialecticalFramework. parents(Argument child)
private void
AbstractDialecticalFramework. updateRelations(Argument child)
Method parameters in net.sf.tweety.arg.adf.syntax with type arguments of type Argument Modifier and Type Method Description PlFormula
AcceptanceCondition. toPlFormula(java.util.function.Function<Argument,PlFormula> argumentMap)
PlFormula
Argument. toPlFormula(java.util.function.Function<Argument,PlFormula> argumentMap)
PlFormula
ConjunctionAcceptanceCondition. toPlFormula(java.util.function.Function<Argument,PlFormula> argumentMap)
PlFormula
ContradictionAcceptanceCondition. toPlFormula(java.util.function.Function<Argument,PlFormula> argumentMap)
PlFormula
DisjunctionAcceptanceCondition. toPlFormula(java.util.function.Function<Argument,PlFormula> argumentMap)
PlFormula
EquivalenceAcceptanceCondition. toPlFormula(java.util.function.Function<Argument,PlFormula> argumentMap)
PlFormula
ExclusiveDisjunctionAcceptanceCondition. toPlFormula(java.util.function.Function<Argument,PlFormula> argumentMap)
PlFormula
ImplicationAcceptanceCondition. toPlFormula(java.util.function.Function<Argument,PlFormula> argumentMap)
PlFormula
NegationAcceptanceCondition. toPlFormula(java.util.function.Function<Argument,PlFormula> argumentMap)
PlFormula
TautologyAcceptanceCondition. toPlFormula(java.util.function.Function<Argument,PlFormula> argumentMap)
Constructors in net.sf.tweety.arg.adf.syntax with parameters of type Argument Constructor Description AbstractDialecticalFrameworkSignature(Argument a)
Constructor parameters in net.sf.tweety.arg.adf.syntax with type arguments of type Argument Constructor Description AbstractDialecticalFramework(java.util.Map<Argument,AcceptanceCondition> accByArgument)
AbstractDialecticalFrameworkSignature(java.util.Set<Argument> formulas)
Creates a new signature
-