Uses of Class
org.tweetyproject.arg.adf.syntax.Argument

Packages that use Argument

Package	Description
org.tweetyproject.arg.adf.io
org.tweetyproject.arg.adf.reasoner
org.tweetyproject.arg.adf.reasoner.heuristics
org.tweetyproject.arg.adf.reasoner.query
org.tweetyproject.arg.adf.reasoner.sat.encodings
org.tweetyproject.arg.adf.semantics.interpretation
org.tweetyproject.arg.adf.semantics.link
org.tweetyproject.arg.adf.syntax
org.tweetyproject.arg.adf.syntax.acc
org.tweetyproject.arg.adf.syntax.adf
org.tweetyproject.arg.adf.transform
org.tweetyproject.arg.adf.util

Uses of Argument in org.tweetyproject.arg.adf.io

Method parameters in org.tweetyproject.arg.adf.io with type arguments of type Argument

Modifier and Type	Method	Description
static String	KppADFFormatWriter.write(Map<Argument,AcceptanceCondition> acceptanceConditions)	Write acceptanceConditions

Uses of Argument in org.tweetyproject.arg.adf.reasoner

Methods in org.tweetyproject.arg.adf.reasoner with parameters of type Argument

Modifier and Type	Method	Description
boolean	AbstractDialecticalFrameworkReasoner.credulousQuery(AbstractDialecticalFramework adf, Argument argument)	Deprecated, for removal: This API element is subject to removal in a future version.
boolean	AbstractDialecticalFrameworkReasoner.skepticalQuery(AbstractDialecticalFramework adf, Argument argument)	Deprecated, for removal: This API element is subject to removal in a future version.

Uses of Argument in org.tweetyproject.arg.adf.reasoner.heuristics

Methods in org.tweetyproject.arg.adf.reasoner.heuristics with parameters of type Argument

Modifier and Type	Method	Description
int	AcceptanceConditionSizeComparator.compare(Argument a1, Argument a2)	Deprecated, for removal: This API element is subject to removal in a future version.
int	DegreeComparator.compare(Argument a1, Argument a2)	Deprecated, for removal: This API element is subject to removal in a future version. Compares two arguments in the ADF based on their degree.

Uses of Argument in org.tweetyproject.arg.adf.reasoner.query

Methods in org.tweetyproject.arg.adf.reasoner.query with parameters of type Argument

Modifier and Type	Method	Description
ConditionalTaskStep	ConditionlessTaskStep.where(Argument condition)	where

Uses of Argument in org.tweetyproject.arg.adf.reasoner.sat.encodings

Methods in org.tweetyproject.arg.adf.reasoner.sat.encodings that return types with arguments of type Argument

Modifier and Type	Method	Description
Set<Argument>	PropositionalMapping.getArguments()

Methods in org.tweetyproject.arg.adf.reasoner.sat.encodings with parameters of type Argument

Modifier and Type	Method	Description
Literal	PropositionalMapping.getFalse(Argument argument)
Literal	PropositionalMapping.getLink(Argument from, Argument to)
Literal	PropositionalMapping.getTrue(Argument argument)

Uses of Argument in org.tweetyproject.arg.adf.semantics.interpretation

Methods in org.tweetyproject.arg.adf.semantics.interpretation that return types with arguments of type Argument

Modifier and Type	Method	Description
Set<Argument>	Interpretation.arguments()	Returns the union of Interpretation.satisfied(), Interpretation.unsatisfied() and Interpretation.undecided().
Set<Argument>	Interpretation.satisfied()
static Map<Argument,Boolean>	Interpretation.toMap(Interpretation interpretation)
Set<Argument>	Interpretation.undecided()
Set<Argument>	Interpretation.unsatisfied()

Methods in org.tweetyproject.arg.adf.semantics.interpretation with parameters of type Argument

Modifier and Type	Method	Description
default boolean	Interpretation.contains(Argument argument)
default boolean	Interpretation.decided(Argument arg)
static Interpretation	Interpretation.extend(Interpretation toExtend, Argument argument, boolean value)	Extends the given interpretation by deciding a currently undecided argument.
static Interpretation	Interpretation.ofSatisfied(Argument argument)
static Interpretation	Interpretation.ofUndecided(Argument argument)
static Interpretation	Interpretation.ofUnsatisfied(Argument argument)
Interpretation.Builder	Interpretation.Builder.put(Argument arg, Boolean value)
Interpretation.Builder	Interpretation.Builder.satisfied(Argument arg)
boolean	Interpretation.satisfied(Argument arg)
Interpretation.Builder	Interpretation.Builder.undecided(Argument arg)
boolean	Interpretation.undecided(Argument arg)
Interpretation.Builder	Interpretation.Builder.unsatisfied(Argument arg)
boolean	Interpretation.unsatisfied(Argument arg)

Method parameters in org.tweetyproject.arg.adf.semantics.interpretation with type arguments of type Argument

Modifier and Type	Method	Description
static Interpretation.Builder	Interpretation.builder(Collection<Argument> arguments)
default boolean	Interpretation.containsAll(Collection<Argument> arguments)
static Interpretation	Interpretation.fromMap(Map<Argument,Boolean> assignment)
static Interpretation	Interpretation.fromSets(Set<Argument> satisfied, Set<Argument> unsatisfied, Set<Argument> undecided)
static Interpretation	Interpretation.fromSets(Set<Argument> satisfied, Set<Argument> unsatisfied, AbstractDialecticalFramework adf)	Interpretation fromSets
static Interpretation	Interpretation.partial(Set<Argument> satisfied, Set<Argument> unsatisfied, AbstractDialecticalFramework adf)
static Iterator<Interpretation>	Interpretation.partials(List<Argument> arguments, AbstractDialecticalFramework adf)	Goes through all possible partial interpretations respecting the order of the given list of arguments.
static Interpretation	Interpretation.restrict(Interpretation interpretation, Collection<Argument> restriction)	Creates a new interpretation with the same assignments as in the given interpretation, but only uses the arguments contained in restriction.

Constructor parameters in org.tweetyproject.arg.adf.semantics.interpretation with type arguments of type Argument

Modifier	Constructor	Description
	InterpretationIterator(Collection<Argument> arguments)
	TwoValuedInterpretationIterator(Collection<Argument> arguments)

Uses of Argument in org.tweetyproject.arg.adf.semantics.link

Methods in org.tweetyproject.arg.adf.semantics.link that return Argument

Modifier and Type	Method	Description
Argument	Link.getFrom()
Argument	SimpleLink.getFrom()	Returns the source argument from which the link originates.
Argument	Link.getTo()
Argument	SimpleLink.getTo()	Returns the target argument to which the link points.

Methods in org.tweetyproject.arg.adf.semantics.link with parameters of type Argument

Modifier and Type	Method	Description
LinkType	LinkStrategy.compute(Argument parent, AcceptanceCondition childAcc)	Computes the type of link between a parent argument and its child's acceptance condition.
LinkType	LinkStrategy.compute(Argument parent, AcceptanceCondition childAcc, Interpretation assumption)	Computes the type of link between a parent argument and its child's acceptance condition, taking into account an additional assumption.
LinkType	SatLinkStrategy.compute(Argument parent, AcceptanceCondition childAcc)
LinkType	SatLinkStrategy.compute(Argument parent, AcceptanceCondition childAcc, Interpretation assumption)
static Link	Link.of(Argument from, Argument to, LinkType type)

Constructors in org.tweetyproject.arg.adf.semantics.link with parameters of type Argument

Modifier	Constructor	Description
	SimpleLink(Argument from, Argument to)	Constructs a new SimpleLink with the specified source and target arguments.
	SimpleLink(Argument from, Argument to, LinkType type)

Uses of Argument in org.tweetyproject.arg.adf.syntax

Methods in org.tweetyproject.arg.adf.syntax that return types with arguments of type Argument

Modifier and Type	Method	Description
Stream<Argument>	Argument.arguments()

Methods in org.tweetyproject.arg.adf.syntax with parameters of type Argument

Modifier and Type	Method	Description
boolean	Argument.contains(Argument arg)

Uses of Argument in org.tweetyproject.arg.adf.syntax.acc

Methods in org.tweetyproject.arg.adf.syntax.acc that return types with arguments of type Argument

Modifier and Type	Method	Description
default Stream<Argument>	AcceptanceCondition.arguments()
Stream<Argument>	ContradictionAcceptanceCondition.arguments()

Methods in org.tweetyproject.arg.adf.syntax.acc with parameters of type Argument

Modifier and Type	Method	Description
default boolean	AcceptanceCondition.contains(Argument arg)	Checks if the given argument is contained in this acceptance condition.
boolean	ContradictionAcceptanceCondition.contains(Argument arg)
boolean	TautologyAcceptanceCondition.contains(Argument arg)
U	Visitor.visit(Argument acc, D topDownData)

Uses of Argument in org.tweetyproject.arg.adf.syntax.adf

Methods in org.tweetyproject.arg.adf.syntax.adf that return types with arguments of type Argument

Modifier and Type	Method	Description
Set<Argument>	AbstractDialecticalFramework.children(Argument parent)	Returns a set of child arguments for the given parent argument.
Set<Argument>	AbstractDialecticalFramework.getArguments()	Returns an unmodifiable set of all the arguments in this AbstractDialecticalFramework.
Set<Argument>	AbstractDialecticalFramework.parents(Argument child)	Returns a set of parent arguments for the given child argument.

Methods in org.tweetyproject.arg.adf.syntax.adf with parameters of type Argument

Modifier and Type	Method	Description
AbstractDialecticalFramework.Builder	AbstractDialecticalFramework.Builder.add(Argument arg, AcceptanceCondition acc)	Adds an argument and its acceptance condition to the ADF.
Set<Argument>	AbstractDialecticalFramework.children(Argument parent)	Returns a set of child arguments for the given parent argument.
boolean	AbstractDialecticalFramework.contains(Argument arg)	Checks if the given argument is contained in this AbstractDialecticalFramework.
AcceptanceCondition	AbstractDialecticalFramework.getAcceptanceCondition(Argument argument)	Retrieves the acceptance condition for the specified argument.
int	AbstractDialecticalFramework.incomingDegree(Argument arg)	Returns the number of incoming links to the given argument.
Link	AbstractDialecticalFramework.link(Argument parent, Argument child)	Computes and returns the link between the given parent and child arguments.
Set<Link>	AbstractDialecticalFramework.linksFrom(Argument parent)	Returns a set of links originating from the specified parent argument.
Set<Link>	AbstractDialecticalFramework.linksTo(Argument child)	Returns a set of links directed towards the specified child argument.
int	AbstractDialecticalFramework.outgoingDegree(Argument arg)	Returns the number of outgoing links from the given argument.
Set<Argument>	AbstractDialecticalFramework.parents(Argument child)	Returns a set of parent arguments for the given child argument.
AbstractDialecticalFramework.Builder	AbstractDialecticalFramework.Builder.remove(Argument arg)	Removes arg

Method parameters in org.tweetyproject.arg.adf.syntax.adf with type arguments of type Argument

Modifier and Type	Method	Description
static AbstractDialecticalFramework.Builder	AbstractDialecticalFramework.fromMap(Map<Argument,AcceptanceCondition> map)	Creates a builder from a map of arguments and their corresponding acceptance conditions.
AbstractDialecticalFramework	AbstractDialecticalFramework.transform(BiFunction<Argument,AcceptanceCondition,AcceptanceCondition> transformer)	Creates a new AbstractDialecticalFramework with acceptance conditions transformed based on both the argument and its acceptance condition.

Uses of Argument in org.tweetyproject.arg.adf.transform

Method parameters in org.tweetyproject.arg.adf.transform with type arguments of type Argument

Modifier and Type	Method	Description
static TseitinTransformer	TseitinTransformer.ofNegativePolarity(Function<Argument,Literal> mapping, boolean optimize)	Creates a new TseitinTransformer instance with negative root polarity and a custom argument-to-literal mapping.
static TseitinTransformer	TseitinTransformer.ofPositivePolarity(Function<Argument,Literal> mapping, boolean optimize)	Creates a new TseitinTransformer instance with positive root polarity and a custom argument-to-literal mapping.

Uses of Argument in org.tweetyproject.arg.adf.util

Methods in org.tweetyproject.arg.adf.util that return types with arguments of type Argument

Modifier and Type	Method	Description
static List<Argument>	InterpretationTrieSet.orderedDecided(Interpretation interpretation, Argument[] order)	Deprecated. Returns a list of arguments that are decided in the given interpretation, ordered according to the specified array.

Methods in org.tweetyproject.arg.adf.util with parameters of type Argument

Modifier and Type	Method	Description
static List<Argument>	InterpretationTrieSet.orderedDecided(Interpretation interpretation, Argument[] order)	Deprecated. Returns a list of arguments that are decided in the given interpretation, ordered according to the specified array.