Uses of Interface
org.tweetyproject.arg.adf.syntax.acc.AcceptanceCondition

Packages that use AcceptanceCondition

Package	Description
org.tweetyproject.arg.adf.io
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.logics.translators.adfcl

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

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

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

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

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

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)

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

Classes in org.tweetyproject.arg.adf.syntax that implement AcceptanceCondition

Modifier and Type	Class	Description
final class	Argument	An immutable representation of an ADF argument

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

Modifier and Type	Method	Description
Set<AcceptanceCondition>	Argument.getChildren()

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

Classes in org.tweetyproject.arg.adf.syntax.acc that implement AcceptanceCondition

Modifier and Type	Class	Description
class	BinaryAcceptanceCondition	BinaryAcceptanceCondition class
final class	ConjunctionAcceptanceCondition	ConjunctionAcceptanceCondition
enum	ContradictionAcceptanceCondition	ContradictionAcceptanceCondition enum
final class	DisjunctionAcceptanceCondition	DisjunctionAcceptanceCondition class
final class	EquivalenceAcceptanceCondition	EquivalenceAcceptanceCondition class
final class	ExclusiveDisjunctionAcceptanceCondition	ExclusiveDisjunctionAcceptanceCondition class
final class	ImplicationAcceptanceCondition	ImplicationAcceptanceCondition class
final class	NegationAcceptanceCondition	NegationAcceptanceCondition class
enum	TautologyAcceptanceCondition	TautologyAcceptanceCondition enum

Methods in org.tweetyproject.arg.adf.syntax.acc that return AcceptanceCondition

Modifier and Type	Method	Description
AcceptanceCondition	AcceptanceCondition.Builder.build()
AcceptanceCondition	NegationAcceptanceCondition.getChild()
AcceptanceCondition	BinaryAcceptanceCondition.getLeft()
AcceptanceCondition	BinaryAcceptanceCondition.getRight()

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

Modifier and Type	Method	Description
Set<AcceptanceCondition>	AcceptanceCondition.getChildren()
Set<AcceptanceCondition>	BinaryAcceptanceCondition.getChildren()
Set<AcceptanceCondition>	ContradictionAcceptanceCondition.getChildren()
Set<AcceptanceCondition>	NegationAcceptanceCondition.getChildren()
Set<AcceptanceCondition>	TautologyAcceptanceCondition.getChildren()

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

Modifier and Type	Method	Description
AcceptanceCondition.Builder	AcceptanceCondition.Builder.and(AcceptanceCondition acc)
AcceptanceCondition.Builder	AcceptanceCondition.Builder.and(AcceptanceCondition... accs)
static AcceptanceCondition.Builder	AcceptanceCondition.builder(AcceptanceCondition acc)	Returns a left-associative builder.
AcceptanceCondition.Builder	AcceptanceCondition.Builder.equiv(AcceptanceCondition acc)
AcceptanceCondition.Builder	AcceptanceCondition.Builder.equiv(AcceptanceCondition... accs)
AcceptanceCondition.Builder	AcceptanceCondition.Builder.implies(AcceptanceCondition acc)
AcceptanceCondition.Builder	AcceptanceCondition.Builder.or(AcceptanceCondition acc)
AcceptanceCondition.Builder	AcceptanceCondition.Builder.or(AcceptanceCondition... accs)
AcceptanceCondition.Builder	AcceptanceCondition.Builder.xor(AcceptanceCondition acc)

Constructors in org.tweetyproject.arg.adf.syntax.acc with parameters of type AcceptanceCondition

Modifier	Constructor	Description
	BinaryAcceptanceCondition(AcceptanceCondition left, AcceptanceCondition right)
	ConjunctionAcceptanceCondition(AcceptanceCondition left, AcceptanceCondition right)	Constructor
	DisjunctionAcceptanceCondition(AcceptanceCondition left, AcceptanceCondition right)
	EquivalenceAcceptanceCondition(AcceptanceCondition left, AcceptanceCondition right)
	ExclusiveDisjunctionAcceptanceCondition(AcceptanceCondition left, AcceptanceCondition right)
	ImplicationAcceptanceCondition(AcceptanceCondition left, AcceptanceCondition right)
	NegationAcceptanceCondition(AcceptanceCondition child)

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

Methods in org.tweetyproject.arg.adf.syntax.adf that return AcceptanceCondition

Modifier and Type	Method	Description
AcceptanceCondition	AbstractDialecticalFramework.getAcceptanceCondition(Argument argument)	Retrieves the acceptance condition for the specified argument.

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

Modifier and Type	Method	Description
AbstractDialecticalFramework.Builder	AbstractDialecticalFramework.Builder.add(Argument arg, AcceptanceCondition acc)	Adds an argument and its acceptance condition to the ADF.

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

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.
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.
AbstractDialecticalFramework	AbstractDialecticalFramework.transform(Function<AcceptanceCondition, AcceptanceCondition> transformer)	Creates a new AbstractDialecticalFramework with acceptance conditions transformed using the provided function.
AbstractDialecticalFramework	AbstractDialecticalFramework.transform(Function<AcceptanceCondition, AcceptanceCondition> transformer)	Creates a new AbstractDialecticalFramework with acceptance conditions transformed using the provided function.
AbstractDialecticalFramework	AbstractDialecticalFramework.transform(Transformer<AcceptanceCondition> transformer)	Creates a new AbstractDialecticalFramework with acceptance conditions transformed using a Transformer.

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

Classes in org.tweetyproject.arg.adf.transform that implement interfaces with type arguments of type AcceptanceCondition

Modifier and Type	Class	Description
final class	FixPartialTransformer	Syntactically rewrites the acceptance condition s.t.

Methods in org.tweetyproject.arg.adf.transform that return AcceptanceCondition

Modifier and Type	Method	Description
AcceptanceCondition	FixPartialTransformer.transform(AcceptanceCondition acc)

Methods in org.tweetyproject.arg.adf.transform with parameters of type AcceptanceCondition

Modifier and Type	Method	Description
U	AbstractCollector.collect(AcceptanceCondition acc, Consumer<D> consumer)
default U	Collector.collect(AcceptanceCondition acc, Collection<D> collection)	Traverses through the given AcceptanceCondition and adds all the collected data to the provided collection.
U	Collector.collect(AcceptanceCondition acc, Consumer<D> consumer)	Traverses through the given AcceptanceCondition and calls the provided consumer on all the collected data.
Literal	TseitinTransformer.collect(AcceptanceCondition acc, Consumer<Clause> clauses)
R	AbstractCollector.transform(AcceptanceCondition acc)
R	AbstractTransformer.transform(AcceptanceCondition acc)
AcceptanceCondition	FixPartialTransformer.transform(AcceptanceCondition acc)
R	Transformer.transform(AcceptanceCondition acc)	Transforms the given acceptance condition into another structure.
Pair<Literal, Collection<Clause>>	TseitinTransformer.transform(AcceptanceCondition acc)

Uses of AcceptanceCondition in org.tweetyproject.logics.translators.adfcl

Methods in org.tweetyproject.logics.translators.adfcl with parameters of type AcceptanceCondition

Modifier and Type	Method	Description
PlFormula	ConverterADF2CL.getFormulaFromAcc(AcceptanceCondition ac)	Translate "Acceptance Condition" into "PlFormula" Recursive function: Case distinction by class name