Uses of Class
net.sf.tweety.arg.adf.reasoner.SatReasonerContext

Packages that use SatReasonerContext

Package	Description
net.sf.tweety.arg.adf.reasoner
net.sf.tweety.arg.adf.reasoner.generator
net.sf.tweety.arg.adf.reasoner.processor
net.sf.tweety.arg.adf.reasoner.verifier

Uses of SatReasonerContext in net.sf.tweety.arg.adf.reasoner

Methods in net.sf.tweety.arg.adf.reasoner that return types with arguments of type SatReasonerContext

Modifier and Type	Method	Description
private static Pipeline<SatReasonerContext>	AdmissibleReasoner.satBased(IncrementalSatSolver solver)
private static Pipeline<SatReasonerContext>	CompleteReasoner.satBased(IncrementalSatSolver solver)
private static Pipeline<SatReasonerContext>	ConflictFreeReasoner.satBased(IncrementalSatSolver solver)
private static Pipeline<SatReasonerContext>	GroundReasoner.satBased(IncrementalSatSolver solver)
private static Pipeline<SatReasonerContext>	ModelReasoner.satBased(IncrementalSatSolver solver)
private static Pipeline<SatReasonerContext>	NaiveReasoner.satBased(IncrementalSatSolver solver)
private static Pipeline<SatReasonerContext>	PreferredReasoner.satBased(IncrementalSatSolver solver)
private static Pipeline<SatReasonerContext>	StableReasoner.satBased(IncrementalSatSolver solver)

Uses of SatReasonerContext in net.sf.tweety.arg.adf.reasoner.generator

Methods in net.sf.tweety.arg.adf.reasoner.generator that return SatReasonerContext

Modifier and Type	Method	Description
SatReasonerContext	SatConflictFreeGenerator.initialize(AbstractDialecticalFramework adf)
SatReasonerContext	SatGroundGenerator.initialize(AbstractDialecticalFramework adf)
SatReasonerContext	SatModelGenerator.initialize(AbstractDialecticalFramework adf)

Methods in net.sf.tweety.arg.adf.reasoner.generator with parameters of type SatReasonerContext

Modifier and Type	Method	Description
Interpretation	SatConflictFreeGenerator.generate(SatReasonerContext context, AbstractDialecticalFramework adf)
Interpretation	SatGroundGenerator.generate(SatReasonerContext context, AbstractDialecticalFramework adf)
Interpretation	SatModelGenerator.generate(SatReasonerContext context, AbstractDialecticalFramework adf)

Uses of SatReasonerContext in net.sf.tweety.arg.adf.reasoner.processor

Fields in net.sf.tweety.arg.adf.reasoner.processor with type parameters of type SatReasonerContext

Modifier and Type	Field	Description
private Verifier<SatReasonerContext>	SatMaximizeInterpretationProcessor.verifier

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

Modifier and Type	Method	Description
void	SatKBipolarStateProcessor.process(SatReasonerContext context, AbstractDialecticalFramework adf)
Interpretation	SatMaximizeInterpretationProcessor.process(SatReasonerContext context, Interpretation interpretation, AbstractDialecticalFramework adf)
Interpretation	SatPartialKBipolarInterpretationProcessor.process(SatReasonerContext context, Interpretation interpretation, AbstractDialecticalFramework adf)
void	SatMaximizeInterpretationProcessor.updateState(SatReasonerContext context, Interpretation maximal, AbstractDialecticalFramework adf)
void	SatPartialKBipolarInterpretationProcessor.updateState(SatReasonerContext context, Interpretation processed, AbstractDialecticalFramework adf)

Constructor parameters in net.sf.tweety.arg.adf.reasoner.processor with type arguments of type SatReasonerContext

Constructor	Description
SatMaximizeInterpretationProcessor(Verifier<SatReasonerContext> verifier)

Uses of SatReasonerContext in net.sf.tweety.arg.adf.reasoner.verifier

Methods in net.sf.tweety.arg.adf.reasoner.verifier with parameters of type SatReasonerContext

Modifier and Type	Method	Description
boolean	SatAdmissibleVerifier.verify(SatReasonerContext state, Interpretation candidate, AbstractDialecticalFramework adf)
boolean	SatCompleteVerifier.verify(SatReasonerContext context, Interpretation candidate, AbstractDialecticalFramework adf)