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)
-