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 functionality
boolean	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 condition
private java.util.Map<Argument,java.util.Set<Argument>>	AbstractDialecticalFramework.parentsByChild	Maps an argument to the arguments of its acceptance condition

Methods 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 functionality
java.util.stream.Stream<Link>	AbstractDialecticalFramework.linksToParent(Argument b)	TODO define functionality
java.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