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

Class GroundGenerator

java.lang.Object

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

All Implemented Interfaces:

CandidateGenerator

public abstract class GroundGenerator
extends Object
implements CandidateGenerator

Author:

Mathias Hofer

Method Summary

Modifier and Type	Method	Description
Interpretation	generate(SatSolverState state)	Does not return the same candidate on two calls on the same instance.
void	prepare(Consumer<Clause> consumer)	Performs initializations on the state.
static CandidateGenerator	withoutPrefix(AbstractDialecticalFramework adf, PropositionalMapping mapping)	The resulting CandidateGenerator computes the ground interpretation.
static CandidateGenerator	withPrefix(AbstractDialecticalFramework adf, PropositionalMapping mapping, Interpretation prefix)	The resulting CandidateGenerator only computes the ground interpretation if it extends the given prefix.

Methods inherited from class java.lang.Object

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

Method Details

withPrefix

public static CandidateGenerator withPrefix(AbstractDialecticalFramework adf,
 PropositionalMapping mapping,
 Interpretation prefix)

The resulting CandidateGenerator only computes the ground interpretation if it extends the given prefix.

Parameters:

adf -

mapping -

prefix - the fixed prefix

Returns:

withoutPrefix

public static CandidateGenerator withoutPrefix(AbstractDialecticalFramework adf,
 PropositionalMapping mapping)

The resulting CandidateGenerator computes the ground interpretation.

Parameters:

adf -

mapping -

Returns:

prepare

public void prepare(Consumer<Clause> consumer)

Description copied from interface: CandidateGenerator

Performs initializations on the state.

Specified by:

prepare in interface CandidateGenerator

Parameters:

consumer - consumer

generate

public Interpretation generate(SatSolverState state)

Description copied from interface: CandidateGenerator

Does not return the same candidate on two calls on the same instance.

Specified by:

generate in interface CandidateGenerator

Parameters:

state - the initialized state

Returns:

the generated interpretation