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

Packages that use AcceptanceCondition

Package	Description
org.tweetyproject.arg.adf.reasoner.query
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.cl.examples

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

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

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

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
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	AbstractAcceptanceCondition
class	ConjunctionAcceptanceCondition
class	ContradictionAcceptanceCondition
class	DisjunctionAcceptanceCondition
class	EquivalenceAcceptanceCondition
class	ExclusiveDisjunctionAcceptanceCondition
class	ImplicationAcceptanceCondition
class	NegationAcceptanceCondition
class	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	ExclusiveDisjunctionAcceptanceCondition.getLeft()
AcceptanceCondition	ImplicationAcceptanceCondition.getLeft()
AcceptanceCondition	ExclusiveDisjunctionAcceptanceCondition.getRight()
AcceptanceCondition	ImplicationAcceptanceCondition.getRight()

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

Modifier and Type	Method	Description
Set<AcceptanceCondition>	AbstractAcceptanceCondition.getChildren()
Set<AcceptanceCondition>	AcceptanceCondition.getChildren()
Set<AcceptanceCondition>	ContradictionAcceptanceCondition.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
	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)

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

Modifier	Constructor	Description
	AbstractAcceptanceCondition(Collection<? extends AcceptanceCondition> children)
	ConjunctionAcceptanceCondition(Collection<? extends AcceptanceCondition> children)
	DisjunctionAcceptanceCondition(Collection<? extends AcceptanceCondition> children)
	EquivalenceAcceptanceCondition(Collection<AcceptanceCondition> children)	Asserts all children to be pairwise equivalent.

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 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)
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.cl.examples

Methods in org.tweetyproject.logics.cl.examples with parameters of type AcceptanceCondition

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