Uses of Interface
net.sf.tweety.arg.adf.reasoner.sat.processor.StateProcessor

Packages that use StateProcessor

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

Uses of StateProcessor in net.sf.tweety.arg.adf.reasoner.sat

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

Modifier and Type	Method	Description
Pipeline.Builder	Pipeline.Builder.addStateProcessor(StateProcessor stateProcessor)

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

Classes in net.sf.tweety.arg.adf.reasoner.sat.processor that implement StateProcessor

Modifier and Type	Class	Description
class	KBipolarStateProcessor
class	RelativeKBipolarStateProcessor	Decides if an ADF becomes k-bipolar relative to some truth assignments.

Methods in net.sf.tweety.arg.adf.reasoner.sat.processor that return StateProcessor

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)