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

Packages that use AcceptanceCondition

Package	Description
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.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)
LinkType	LinkStrategy.compute(Argument parent, AcceptanceCondition childAcc, Interpretation 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
final class	ConjunctionAcceptanceCondition
enum	ContradictionAcceptanceCondition
final class	DisjunctionAcceptanceCondition
final class	EquivalenceAcceptanceCondition
final class	ExclusiveDisjunctionAcceptanceCondition
final class	ImplicationAcceptanceCondition
final class	NegationAcceptanceCondition
enum	TautologyAcceptanceCondition

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)
	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)	Guaranteed to be non-null if the ADF contains the 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)

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

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

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