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

Packages that use Argument

Package	Description
org.tweetyproject.arg.adf.reasoner
org.tweetyproject.arg.adf.reasoner.heuristics
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.syntax.pl
org.tweetyproject.arg.adf.transform
org.tweetyproject.arg.adf.util

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)
boolean	AbstractDialecticalFrameworkReasoner.skepticalQuery(AbstractDialecticalFramework adf, Argument argument)

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)
int	DegreeComparator.compare(Argument a1, Argument a2)

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

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

Modifier and Type	Method	Description
Atom	PropositionalMapping.getFalse(Argument argument)
Atom	PropositionalMapping.getLink(Argument from, Argument to)
Atom	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
java.util.Set<Argument>	Interpretation.arguments()	Returns the union of Interpretation.satisfied(), Interpretation.unsatisfied() and Interpretation.undecided().
java.util.Set<Argument>	Interpretation.satisfied()
static java.util.Map<Argument,java.lang.Boolean>	Interpretation.toMap(Interpretation interpretation)
java.util.Set<Argument>	Interpretation.undecided()
java.util.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.decided(Argument arg)
static Interpretation	Interpretation.extend(Interpretation toExtend, Argument argument, boolean value)	Extends the given interpretation by deciding a currently undecided argument.
Interpretation.Builder	Interpretation.Builder.put(Argument arg, java.lang.Boolean value)
boolean	Interpretation.satisfied(Argument arg)
static Interpretation	Interpretation.singleValued(Argument argument, boolean value, AbstractDialecticalFramework adf)	Returns an interpretation relative to adf with a single truth value decided.
boolean	Interpretation.undecided(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(java.util.Collection<Argument> arguments)
default boolean	Interpretation.containsAll(java.util.Collection<Argument> arguments)
static Interpretation	Interpretation.fromMap(java.util.Map<Argument,java.lang.Boolean> assignment)
static Interpretation	Interpretation.fromSet(java.util.Set<Argument> satisfied, AbstractDialecticalFramework adf)
static Interpretation	Interpretation.fromSets(java.util.Set<Argument> satisfied, java.util.Set<Argument> unsatisfied, java.util.Set<Argument> undecided)
static Interpretation	Interpretation.fromSets(java.util.Set<Argument> satisfied, java.util.Set<Argument> unsatisfied, AbstractDialecticalFramework adf)
static Interpretation	Interpretation.partial(java.util.Set<Argument> satisfied, java.util.Set<Argument> unsatisfied, AbstractDialecticalFramework adf)
static java.util.Iterator<Interpretation>	Interpretation.partials(java.util.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, java.util.Collection<Argument> restriction)	Creates a new interpretation with the same assignments as in the given arguments, but only uses the arguments contained in restriction.
static Interpretation	Interpretation.restrictUndecided(Interpretation interpretation, java.util.Collection<Argument> restriction)

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

Constructor	Description
InterpretationIterator(java.util.List<Argument> arguments)
TwoValuedInterpretationIterator(java.util.List<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	Link.getTo()

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)
LinkType	SatLinkStrategy.compute(Argument parent, AcceptanceCondition childAcc)
static Link	Link.of(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
java.util.stream.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 java.util.stream.Stream<Argument>	AcceptanceCondition.arguments()
java.util.stream.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
java.util.Set<Argument>	AbstractDialecticalFramework.children(Argument parent)
java.util.Set<Argument>	AbstractDialecticalFramework.getArguments()
java.util.Set<Argument>	AbstractDialecticalFramework.parents(Argument child)

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)
java.util.Set<Argument>	AbstractDialecticalFramework.children(Argument parent)
boolean	AbstractDialecticalFramework.contains(Argument arg)
AcceptanceCondition	AbstractDialecticalFramework.getAcceptanceCondition(Argument argument)	Guaranteed to be non-null if the ADF contains the argument.
int	AbstractDialecticalFramework.incomingDegree(Argument arg)
Link	AbstractDialecticalFramework.link(Argument parent, Argument child)	Computes the link (parent, child) iff necessary and returns it afterwards.
java.util.Set<Link>	AbstractDialecticalFramework.linksFrom(Argument parent)
java.util.Set<Link>	AbstractDialecticalFramework.linksTo(Argument child)
int	AbstractDialecticalFramework.outgoingDegree(Argument arg)
java.util.Set<Argument>	AbstractDialecticalFramework.parents(Argument child)
AbstractDialecticalFramework.Builder	AbstractDialecticalFramework.Builder.remove(Argument 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(java.util.Map<Argument,AcceptanceCondition> map)

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

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

Modifier and Type	Method	Description
default Literal	Literal.map(java.util.function.Function<Argument,Literal> argumentMapping, java.util.function.Function<Literal,Literal> literalMapping)

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(java.util.function.Function<Argument,Atom> mapping, boolean optimize)
static TseitinTransformer	TseitinTransformer.ofPositivePolarity(java.util.function.Function<Argument,Atom> mapping, boolean optimize)

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 java.util.List<Argument>	InterpretationTrieSet.orderedDecided(Interpretation interpretation, Argument[] order)

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

Modifier and Type	Method	Description
static java.util.List<Argument>	InterpretationTrieSet.orderedDecided(Interpretation interpretation, Argument[] order)