Uses of Class
net.sf.tweety.arg.adf.syntax.AcceptanceCondition

Packages that use AcceptanceCondition

Package	Description
net.sf.tweety.arg.adf.parser
net.sf.tweety.arg.adf.syntax
net.sf.tweety.arg.adf.transform

Uses of AcceptanceCondition in net.sf.tweety.arg.adf.parser

Fields in net.sf.tweety.arg.adf.parser with type parameters of type AcceptanceCondition

Modifier and Type	Field	Description
private java.util.Map<Argument,AcceptanceCondition>	KppADFFormatParser.ACNode.accByArgument

Methods in net.sf.tweety.arg.adf.parser that return AcceptanceCondition

Modifier and Type	Method	Description
AcceptanceCondition	KppADFFormatParser.AndNode.parseFormula()
AcceptanceCondition	KppADFFormatParser.CNode.parseFormula()
(package private) AcceptanceCondition	KppADFFormatParser.IdentifierNode.parseFormula()
AcceptanceCondition	KppADFFormatParser.IffNode.parseFormula()
AcceptanceCondition	KppADFFormatParser.ImpNode.parseFormula()
AcceptanceCondition	KppADFFormatParser.NegNode.parseFormula()
(package private) AcceptanceCondition	KppADFFormatParser.Node.parseFormula()
AcceptanceCondition	KppADFFormatParser.OrNode.parseFormula()
AcceptanceCondition	KppADFFormatParser.XorNode.parseFormula()
(package private) AcceptanceCondition	KppADFFormatParser.IdentifierNode.parseSpecialFormula()
(package private) AcceptanceCondition	KppADFFormatParser.Node.parseSpecialFormula()

Constructor parameters in net.sf.tweety.arg.adf.parser with type arguments of type AcceptanceCondition

Constructor	Description
ACNode(java.util.Map<Argument,AcceptanceCondition> accByArgument)

Uses of AcceptanceCondition in net.sf.tweety.arg.adf.syntax

Subclasses of AcceptanceCondition in net.sf.tweety.arg.adf.syntax

Modifier and Type	Class	Description
class	Argument	An immutable representation of an ADF argument
class	AssociativeAcceptanceCondition
class	BinaryAcceptanceCondition
class	ConjunctionAcceptanceCondition
class	ContradictionAcceptanceCondition
class	DisjunctionAcceptanceCondition
class	EquivalenceAcceptanceCondition
class	ExclusiveDisjunctionAcceptanceCondition
class	ImplicationAcceptanceCondition
class	NegationAcceptanceCondition
class	TautologyAcceptanceCondition
class	UnaryAcceptanceCondition

Fields in net.sf.tweety.arg.adf.syntax declared as AcceptanceCondition

Modifier and Type	Field	Description
private AcceptanceCondition	AcceptanceCondition.Builder.left
private AcceptanceCondition	BinaryAcceptanceCondition.left
private AcceptanceCondition	BinaryAcceptanceCondition.right
private AcceptanceCondition	UnaryAcceptanceCondition.sub
private AcceptanceCondition[]	AssociativeAcceptanceCondition.subconditions

Fields in net.sf.tweety.arg.adf.syntax with type parameters of type AcceptanceCondition

Modifier and Type	Field	Description
private java.util.Map<Argument,AcceptanceCondition>	AbstractDialecticalFramework.accByArgument

Methods in net.sf.tweety.arg.adf.syntax that return AcceptanceCondition

Modifier and Type	Method	Description
AcceptanceCondition	AcceptanceCondition.Builder.build()
AcceptanceCondition	AbstractDialecticalFramework.getAcceptanceCondition(Argument argument)

Methods in net.sf.tweety.arg.adf.syntax 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)
AcceptanceCondition.Builder	AcceptanceCondition.Builder.iff(AcceptanceCondition acc)
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)

Method parameters in net.sf.tweety.arg.adf.syntax with type arguments of type AcceptanceCondition

Modifier and Type	Method	Description
AbstractDialecticalFramework	AbstractDialecticalFramework.transform(Transform<AcceptanceCondition,AcceptanceCondition> transform)	Creates a copy of this ADF with transformed acceptance conditions.
AbstractDialecticalFramework	AbstractDialecticalFramework.transform(Transform<AcceptanceCondition,AcceptanceCondition> transform)	Creates a copy of this ADF with transformed acceptance conditions.

Constructors in net.sf.tweety.arg.adf.syntax with parameters of type AcceptanceCondition

Constructor	Description
AssociativeAcceptanceCondition(AcceptanceCondition[] subconditions)
BinaryAcceptanceCondition(AcceptanceCondition left, AcceptanceCondition right)
Builder(AcceptanceCondition left)
ConjunctionAcceptanceCondition(AcceptanceCondition... subconditions)
DisjunctionAcceptanceCondition(AcceptanceCondition... subconditions)
EquivalenceAcceptanceCondition(AcceptanceCondition left, AcceptanceCondition right)
ExclusiveDisjunctionAcceptanceCondition(AcceptanceCondition left, AcceptanceCondition right)
ImplicationAcceptanceCondition(AcceptanceCondition left, AcceptanceCondition right)
NegationAcceptanceCondition(AcceptanceCondition subcondition)
UnaryAcceptanceCondition(AcceptanceCondition sub)

Constructor parameters in net.sf.tweety.arg.adf.syntax with type arguments of type AcceptanceCondition

Constructor	Description
AbstractDialecticalFramework(java.util.Map<Argument,AcceptanceCondition> accByArgument)

Uses of AcceptanceCondition in net.sf.tweety.arg.adf.transform

Methods in net.sf.tweety.arg.adf.transform that return AcceptanceCondition

Modifier and Type	Method	Description
AcceptanceCondition	FixPartialTransform.transformArgument(Argument argument)
AcceptanceCondition	OmegaReductTransform.transformArgument(Argument argument)
AcceptanceCondition	FixPartialTransform.transformConjunction(java.util.Collection<AcceptanceCondition> subconditions)
AcceptanceCondition	OmegaReductTransform.transformConjunction(java.util.Collection<AcceptanceCondition> subconditions)
AcceptanceCondition	FixPartialTransform.transformContradiction()
AcceptanceCondition	OmegaReductTransform.transformContradiction()
AcceptanceCondition	FixPartialTransform.transformDisjunction(java.util.Collection<AcceptanceCondition> subconditions)
AcceptanceCondition	OmegaReductTransform.transformDisjunction(java.util.Collection<AcceptanceCondition> subconditions)
AcceptanceCondition	FixPartialTransform.transformEquivalence(AcceptanceCondition left, AcceptanceCondition right)
AcceptanceCondition	OmegaReductTransform.transformEquivalence(AcceptanceCondition left, AcceptanceCondition right)
AcceptanceCondition	FixPartialTransform.transformExclusiveDisjunction(AcceptanceCondition left, AcceptanceCondition right)
AcceptanceCondition	OmegaReductTransform.transformExclusiveDisjunction(AcceptanceCondition left, AcceptanceCondition right)
AcceptanceCondition	FixPartialTransform.transformImplication(AcceptanceCondition left, AcceptanceCondition right)
AcceptanceCondition	OmegaReductTransform.transformImplication(AcceptanceCondition left, AcceptanceCondition right)
AcceptanceCondition	FixPartialTransform.transformNegation(AcceptanceCondition sub)
AcceptanceCondition	OmegaReductTransform.transformNegation(AcceptanceCondition sub)
AcceptanceCondition	FixPartialTransform.transformTautology()
AcceptanceCondition	OmegaReductTransform.transformTautology()

Methods in net.sf.tweety.arg.adf.transform with parameters of type AcceptanceCondition

Modifier and Type	Method	Description
AcceptanceCondition	FixPartialTransform.transformEquivalence(AcceptanceCondition left, AcceptanceCondition right)
AcceptanceCondition	OmegaReductTransform.transformEquivalence(AcceptanceCondition left, AcceptanceCondition right)
AcceptanceCondition	FixPartialTransform.transformExclusiveDisjunction(AcceptanceCondition left, AcceptanceCondition right)
AcceptanceCondition	OmegaReductTransform.transformExclusiveDisjunction(AcceptanceCondition left, AcceptanceCondition right)
AcceptanceCondition	FixPartialTransform.transformImplication(AcceptanceCondition left, AcceptanceCondition right)
AcceptanceCondition	OmegaReductTransform.transformImplication(AcceptanceCondition left, AcceptanceCondition right)
AcceptanceCondition	FixPartialTransform.transformNegation(AcceptanceCondition sub)
AcceptanceCondition	OmegaReductTransform.transformNegation(AcceptanceCondition sub)

Method parameters in net.sf.tweety.arg.adf.transform with type arguments of type AcceptanceCondition

Modifier and Type	Method	Description
AcceptanceCondition	FixPartialTransform.transformConjunction(java.util.Collection<AcceptanceCondition> subconditions)
AcceptanceCondition	OmegaReductTransform.transformConjunction(java.util.Collection<AcceptanceCondition> subconditions)
AcceptanceCondition	FixPartialTransform.transformDisjunction(java.util.Collection<AcceptanceCondition> subconditions)
AcceptanceCondition	OmegaReductTransform.transformDisjunction(java.util.Collection<AcceptanceCondition> subconditions)