Uses of Interface
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

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

Classes in net.sf.tweety.arg.adf.syntax that implement AcceptanceCondition

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

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

Modifier and Type	Field	Description
private AcceptanceCondition	ConjunctionAcceptanceCondition.first
private AcceptanceCondition	DisjunctionAcceptanceCondition.first
private AcceptanceCondition	EquivalenceAcceptanceCondition.first
private AcceptanceCondition	ExclusiveDisjunctionAcceptanceCondition.first
private AcceptanceCondition	ImplicationAcceptanceCondition.first
private AcceptanceCondition	ConjunctionAcceptanceCondition.second
private AcceptanceCondition	DisjunctionAcceptanceCondition.second
private AcceptanceCondition	EquivalenceAcceptanceCondition.second
private AcceptanceCondition	ExclusiveDisjunctionAcceptanceCondition.second
private AcceptanceCondition	ImplicationAcceptanceCondition.second
private AcceptanceCondition	NegationAcceptanceCondition.subcondition

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	AbstractDialecticalFramework.getAcceptanceCondition(Argument argument)

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

Constructor	Description
ConjunctionAcceptanceCondition(AcceptanceCondition first, AcceptanceCondition second)	creates a conjunction of acceptance conditions
DisjunctionAcceptanceCondition(AcceptanceCondition first, AcceptanceCondition second)	creates a disjunction of acceptance conditions
EquivalenceAcceptanceCondition(AcceptanceCondition first, AcceptanceCondition second)	creates an equivalence formula of acceptance conditions
ExclusiveDisjunctionAcceptanceCondition(AcceptanceCondition first, AcceptanceCondition second)	creates an XOR of acceptance conditions
ImplicationAcceptanceCondition(AcceptanceCondition first, AcceptanceCondition second)	creates an implication of acceptance conditions
NegationAcceptanceCondition(AcceptanceCondition subcondition)

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

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