Package org.tweetyproject.arg.adf.reasoner.sat.generator

Class ModelGenerator

java.lang.Object

org.tweetyproject.arg.adf.reasoner.sat.generator.AbstractCandidateGenerator

org.tweetyproject.arg.adf.reasoner.sat.generator.ModelGenerator

All Implemented Interfaces:

AutoCloseable, CandidateGenerator

public abstract class ModelGenerator
extends AbstractCandidateGenerator

Author:

Mathias Hofer

Method Summary

Modifier and Type	Method	Description
Interpretation	generate(SatSolverState state)
static CandidateGenerator	restricted(AbstractDialecticalFramework adf, PropositionalMapping mapping, Interpretation prefix, Supplier<SatSolverState> stateSupplier)	The resulting CandidateGenerator only computes two-valued models which are extensions of the defined prefix.
static CandidateGenerator	unrestricted(AbstractDialecticalFramework adf, PropositionalMapping mapping, Supplier<SatSolverState> stateSupplier)	The resulting CandidateGenerator computes all two-valued model interpretations.

Methods inherited from class org.tweetyproject.arg.adf.reasoner.sat.generator.AbstractCandidateGenerator

close, generate, update

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Details

restricted

public static CandidateGenerator restricted(AbstractDialecticalFramework adf,
 PropositionalMapping mapping,
 Interpretation prefix,
 Supplier<SatSolverState> stateSupplier)

The resulting CandidateGenerator only computes two-valued models which are extensions of the defined prefix.

Parameters:

adf - adf

mapping - mapping

prefix - the fixed prefix

stateSupplier - Supplier

Returns:

CandidateGenerator

unrestricted

public static CandidateGenerator unrestricted(AbstractDialecticalFramework adf,
 PropositionalMapping mapping,
 Supplier<SatSolverState> stateSupplier)

The resulting CandidateGenerator computes all two-valued model interpretations.

Parameters:

adf - adf

mapping - mapping

stateSupplier - Supplier

Returns:

CandidateGenerator

generate

public Interpretation generate(SatSolverState state)