Uses of Interface
net.sf.tweety.arg.adf.reasoner.ordering.Ordering

Packages that use Ordering

Package	Description
net.sf.tweety.arg.adf.reasoner.ordering
net.sf.tweety.arg.adf.reasoner.sat.processor

Uses of Ordering in net.sf.tweety.arg.adf.reasoner.ordering

Classes in net.sf.tweety.arg.adf.reasoner.ordering that implement Ordering

Modifier and Type	Class	Description
class	AbstractOrdering<T>	This class provides a skeletal implementation of the Ordering interface, to minimize the effort required to implement this interface.
class	ArgumentDegreeOrdering

Methods in net.sf.tweety.arg.adf.reasoner.ordering that return Ordering

Modifier and Type	Method	Description
Ordering<T>	AbstractOrdering.filter(java.util.function.Predicate<? super T> filter)
Ordering<T>	Ordering.filter(java.util.function.Predicate<? super T> filter)
Ordering<T>	AbstractOrdering.limit(int limit)
Ordering<T>	Ordering.limit(int limit)

Uses of Ordering in net.sf.tweety.arg.adf.reasoner.sat.processor

Methods in net.sf.tweety.arg.adf.reasoner.sat.processor with parameters of type Ordering

Modifier and Type	Method	Description
static StateProcessor	RelativeKBipolarStateProcessor.absoluteBounded(int k, Ordering<Argument> ordering, IncrementalSatSolver solver)
static StateProcessor	RelativeKBipolarStateProcessor.relativeBounded(double l, int k, Ordering<Argument> ordering, IncrementalSatSolver solver)