Class GroundGenerator

java.lang.Object

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

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

All Implemented Interfaces:

AutoCloseable, CandidateGenerator

public abstract class GroundGenerator
extends AbstractCandidateGenerator

GroundGenerator class

Author:

Mathias Hofer

Method Summary

Modifier and Type	Method	Description
Interpretation	generate(SatSolverState state)
void	prepare(SatSolverState state)
static CandidateGenerator	restricted(AbstractDialecticalFramework adf, PropositionalMapping mapping, Interpretation prefix, Supplier<SatSolverState> stateSupplier)	The resulting CandidateGenerator only computes the ground interpretation if it extends the given prefix.
static CandidateGenerator	unrestricted(AbstractDialecticalFramework adf, PropositionalMapping mapping, Supplier<SatSolverState> stateSupplier)	The resulting CandidateGenerator computes the ground interpretation.

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 the ground interpretation if it extends the given 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 the ground interpretation.

Parameters:

adf - adf

mapping - mapping

stateSupplier - Supplier

Returns:

CandidateGenerator

prepare

public void prepare(SatSolverState state)

generate

public Interpretation generate(SatSolverState state)