Interface Semantics
public interface Semantics
Provides access to the computational building blocks of SAT based ADF
semantics.
- Author:
- Mathias Hofer
-
Method Summary
Modifier and TypeMethodDescriptionstatic Semantics
static Semantics
static Semantics
createCandidateProcessor(Supplier<SatSolverState> stateSupplier)
createModelProcessors(Supplier<SatSolverState> stateSupplier)
createVerifier(Supplier<SatSolverState> stateSupplier)
static Semantics
static Semantics
static Semantics
static Semantics
static Semantics
withPrefix(Interpretation prefix)
-
Method Details
-
createDecomposer
Decomposer createDecomposer()- Returns:
- createDecomposer
-
createCandidateGenerator
CandidateGenerator createCandidateGenerator()- Returns:
- createCandidateGenerator
-
createStateProcessors
List<StateProcessor> createStateProcessors()- Returns:
- createStateProcessors
-
createCandidateProcessor
- Parameters:
stateSupplier
- stateSupplier- Returns:
- createCandidateProcessor
-
createVerifier
- Parameters:
stateSupplier
- stateSupplier- Returns:
- createVerifier
-
createModelProcessors
- Parameters:
stateSupplier
- stateSupplier- Returns:
- createModelProcessors
-
withPrefix
- Parameters:
prefix
- prefix- Returns:
- a new
Semantics
instance
-
conflictFree
- Parameters:
adf
- adf- Returns:
- conflictFree
-
naive
- Parameters:
adf
- adf- Returns:
- naive
-
admissible
- Parameters:
adf
- adf- Returns:
- admissible
-
preferred
- Parameters:
adf
- adf- Returns:
- preferred
-
stable
- Parameters:
adf
- adf- Returns:
- stable
-
complete
- Parameters:
adf
- adf- Returns:
- complete
-
model
- Parameters:
adf
- adf- Returns:
- model
-
ground
- Parameters:
adf
- adf- Returns:
- ground
-