Uses of Class
net.sf.tweety.arg.dung.semantics.OrderingSemantics

Packages that use OrderingSemantics

Package	Description
net.sf.tweety.arg.dung.reasoner
net.sf.tweety.arg.dung.semantics

Uses of OrderingSemantics in net.sf.tweety.arg.dung.reasoner

Constructors in net.sf.tweety.arg.dung.reasoner with parameters of type OrderingSemantics

Constructor	Description
OrderingSemanticsReasoner(OrderingSemantics semantics)	create a reasoner for the given ordering semantics
OrderingSemanticsReasoner(OrderingSemantics semantics1, OrderingSemantics semantics2)	create a reasoner for the given combination of ordering semantics

Uses of OrderingSemantics in net.sf.tweety.arg.dung.semantics

Fields in net.sf.tweety.arg.dung.semantics declared as OrderingSemantics

Modifier and Type	Field	Description
static OrderingSemantics	OrderingSemantics.ADMISSIBLE_SEMANTICS
static OrderingSemantics	OrderingSemantics.CONFLICTFREE_SEMANTICS
static OrderingSemantics	OrderingSemantics.DEFENDED_NOT_IN_SEMANTICS
static OrderingSemantics	OrderingSemantics.STABLE_SEMANTICS

Methods in net.sf.tweety.arg.dung.semantics that return OrderingSemantics

Modifier and Type	Method	Description
static OrderingSemantics	OrderingSemantics.valueOf(java.lang.String name)	Returns the enum constant of this type with the specified name.
static OrderingSemantics[]	OrderingSemantics.values()	Returns an array containing the constants of this enum type, in the order they are declared.