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

Class Summary

Class	Description
Pipeline	Handles all the different building blocks of the SAT centered model computation.
Pipeline.Builder	It is safe to use the builder after the build call if the used processors are stateless.