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.reasoner.encodings
net.sf.tweety.arg.adf.semantics
net.sf.tweety.arg.adf.syntax
net.sf.tweety.arg.adf.transform

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

Methods in net.sf.tweety.arg.adf.reasoner with parameters of type Argument

Modifier and Type	Method	Description
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.

Uses of Argument in net.sf.tweety.arg.adf.reasoner.encodings

Fields in net.sf.tweety.arg.adf.reasoner.encodings with type parameters of type Argument

Modifier and Type	Field	Description
private java.util.Map<Argument,Proposition>	SatEncodingContext.falses
private java.util.Map<Argument,Proposition>	SatEncodingContext.trues

Methods in net.sf.tweety.arg.adf.reasoner.encodings with parameters of type Argument

Modifier and Type	Method	Description
Proposition	SatEncodingContext.getFalseRepresentation(Argument argument)
Proposition	SatEncodingContext.getLinkRepresentation(Argument from, Argument to)
Proposition	SatEncodingContext.getTrueRepresentation(Argument argument)

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.Iterator<Argument>	Interpretation.iterator()
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
Link	LinkStrategy.compute(AbstractDialecticalFramework adf, Argument a, Argument b)
Link	SatLinkStrategy.compute(AbstractDialecticalFramework adf, Argument a, Argument b)
boolean	Interpretation.contains(Argument a)
java.lang.Boolean	Interpretation.get(Argument a)
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)

Constructor parameters in net.sf.tweety.arg.adf.semantics with type arguments of type Argument

Constructor	Description
Interpretation(java.lang.Iterable<Argument> undecided)	Creates a new empty interpretation, hence where all arguments are undecided.
Interpretation(java.util.Map<Argument,java.lang.Boolean> assignments)	Creates an interpretation based on the given mapping.

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()
abstract java.util.stream.Stream<Argument>	AcceptanceCondition.arguments()
java.util.stream.Stream<Argument>	Argument.arguments()
java.util.stream.Stream<Argument>	AssociativeAcceptanceCondition.arguments()
java.util.stream.Stream<Argument>	BinaryAcceptanceCondition.arguments()
java.util.stream.Stream<Argument>	ContradictionAcceptanceCondition.arguments()
java.util.stream.Stream<Argument>	TautologyAcceptanceCondition.arguments()
java.util.stream.Stream<Argument>	UnaryAcceptanceCondition.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
boolean	AbstractDialecticalFramework.containsArgument(Argument a)
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.linksFromParents(Argument b)
java.util.stream.Stream<Link>	AbstractDialecticalFramework.linksToChildren(Argument a)
java.util.stream.Stream<Argument>	AbstractDialecticalFramework.parents(Argument child)
private void	AbstractDialecticalFramework.updateRelations(Argument child)

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)

Uses of Argument in net.sf.tweety.arg.adf.transform

Fields in net.sf.tweety.arg.adf.transform with type parameters of type Argument

Modifier and Type	Field	Description
private java.util.function.Function<Argument,PlFormula>	PlFormulaTransform.argumentToPlFormula
private java.util.function.Function<Argument,Proposition>	DefinitionalCNFTransform.argumentToProposition

Methods in net.sf.tweety.arg.adf.transform with parameters of type Argument

Modifier and Type	Method	Description
Proposition	DefinitionalCNFTransform.transformArgument(java.util.function.Consumer<Disjunction> consumer, Argument argument, int polarity)
AcceptanceCondition	FixPartialTransform.transformArgument(Argument argument)
AcceptanceCondition	OmegaReductTransform.transformArgument(Argument argument)
PlFormula	PlFormulaTransform.transformArgument(Argument argument)
default R	SimpleTransform.transformArgument(java.util.function.Consumer<R> consumer, Argument argument, int polarity)
R	SimpleTransform.transformArgument(Argument argument)
R	Transform.transformArgument(java.util.function.Consumer<C> consumer, Argument argument, int polarity)	This method is visited by the Arguments of the acceptance condition on which we apply this Transform.

Constructor parameters in net.sf.tweety.arg.adf.transform with type arguments of type Argument

Constructor	Description
DefinitionalCNFTransform(java.util.function.Function<Argument,Proposition> argumentToProposition)	Constructs a non-optimized version of the definitional (resp.
DefinitionalCNFTransform(java.util.function.Function<Argument,Proposition> argumentToProposition, boolean optimize)	Constructs a possibly optimized version of the definitional (resp.
PlFormulaTransform(java.util.function.Function<Argument,PlFormula> argumentToPlFormula)