Uses of Class
org.tweetyproject.arg.dung.semantics.OrderingSemantics
-
Packages that use OrderingSemantics Package Description org.tweetyproject.arg.dung.reasoner org.tweetyproject.arg.dung.semantics -
-
Uses of OrderingSemantics in org.tweetyproject.arg.dung.reasoner
Constructors in org.tweetyproject.arg.dung.reasoner with parameters of type OrderingSemantics Constructor Description OrderingSemanticsReasoner(OrderingSemantics semantics)create a reasoner for the given ordering semanticsOrderingSemanticsReasoner(OrderingSemantics semantics1, OrderingSemantics semantics2)create a reasoner for the given combination of ordering semantics -
Uses of OrderingSemantics in org.tweetyproject.arg.dung.semantics
Fields in org.tweetyproject.arg.dung.semantics declared as OrderingSemantics Modifier and Type Field Description static OrderingSemanticsOrderingSemantics. ADMISSIBLE_SEMANTICSstatic OrderingSemanticsOrderingSemantics. CONFLICTFREE_SEMANTICSstatic OrderingSemanticsOrderingSemantics. DEFENDED_NOT_IN_SEMANTICSstatic OrderingSemanticsOrderingSemantics. STABLE_SEMANTICSMethods in org.tweetyproject.arg.dung.semantics that return OrderingSemantics Modifier and Type Method Description static OrderingSemanticsOrderingSemantics. 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.
-