ConcreteModelSemantics (refinery-generator 0.1.5 API)

java.lang.Object

tools.refinery.generator.impl.ModelFacadeImpl

tools.refinery.generator.impl.ConcreteModelFacade

tools.refinery.generator.impl.ConcreteModelSemantics

All Implemented Interfaces:: 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(ModelFacadeResult createInitialModelResult)

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, 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, getConcreteness, getInitializationResult, getModel, getModelStore, getNodesMetadata, getPartialInterpretation, getPartialInterpretation, getProblemTrace, getRelationsMetadata, throwIfInitializationFailed

Constructor Details
- ConcreteModelSemantics
  
  public ConcreteModelSemantics(ConcreteModelFacade.Args args)
Method Details
- afterPropagation
  
  protected ModelFacadeResult afterPropagation(ModelFacadeResult createInitialModelResult)
  
  Overrides:
  
  afterPropagation in class ModelFacadeImpl
- 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