Package tools.refinery.generator.impl

Class ConcreteModelSemantics

java.lang.Object

tools.refinery.generator.impl.ModelFacadeImpl

tools.refinery.generator.impl.ConcreteModelFacade

tools.refinery.generator.impl.ConcreteModelSemantics

All Implemented Interfaces:

AutoCloseable, ModelFacade, ModelSemantics

public class ConcreteModelSemantics
extends ConcreteModelFacade
implements ModelSemantics

Nested Class Summary

Nested classes/interfaces inherited from class tools.refinery.generator.impl.ConcreteModelFacade

ConcreteModelFacade.Args

Constructor Summary

Constructors

Constructor	Description
ConcreteModelSemantics(ConcreteModelFacade.Args args)

Method Summary

Modifier and Type	Method	Description
protected ModelFacadeResult	afterPropagation(Model model, ModelFacadeResult createInitialModelResult)	Post-processes the propagation result on this model.
protected MetadataCreator	getMetadataCreator()
protected SolutionSerializer	getSolutionSerializer()
Problem	serialize()
Optional<Problem>	trySerialize()

Methods inherited from class tools.refinery.generator.impl.ConcreteModelFacade

getConcreteness, getPartialInterpretation

Methods inherited from class tools.refinery.generator.impl.ModelFacadeImpl

checkConsistency, close, getDiagnostics, getInitializationResult, getModel, getModelStore, getNodesMetadata, getProblemTrace, getRelationsMetadata, throwIfInitializationFailed

Methods inherited from class java.lang.Object

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

Methods inherited from interface tools.refinery.generator.ModelFacade

checkConsistency, close, getConcreteness, getInitializationResult, getModel, getModelStore, getNodesMetadata, getPartialInterpretation, getPartialInterpretation, getProblemTrace, getRelationsMetadata, throwIfInitializationFailed

Constructor Details

ConcreteModelSemantics

public ConcreteModelSemantics(ConcreteModelFacade.Args args)

Method Details

afterPropagation

protected ModelFacadeResult afterPropagation(Model model,
 ModelFacadeResult createInitialModelResult)

Description copied from class: ModelFacadeImpl

Post-processes the propagation result on this model.

Inheriting classes may use this method to perform other operations, such as concretization, on the model.

Implementations should never call ModelFacadeImpl.getModel(), as it hasn't been set yet. Use the model argument instead.

Overrides:

afterPropagation in class ModelFacadeImpl

Parameters:

model - The Model after propagation.

createInitialModelResult - The result of the propagation on the model.

Returns:

The post-processed propagation result.

getMetadataCreator

protected MetadataCreator getMetadataCreator()

Overrides:

getMetadataCreator in class ModelFacadeImpl

serialize

public Problem serialize()

Specified by:

serialize in interface ModelFacade

Overrides:

serialize in class ConcreteModelFacade

trySerialize

public Optional<Problem> trySerialize()

Specified by:

trySerialize in interface ModelFacade

Overrides:

trySerialize in class ModelFacadeImpl

getSolutionSerializer

protected SolutionSerializer getSolutionSerializer()

Overrides:

getSolutionSerializer in class ConcreteModelFacade