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

Packages that use AcceptanceCondition

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

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

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(Map<Argument,AcceptanceCondition> accByArgument)