Package tools.refinery.generator.impl

Class ConcreteModelFacade

java.lang.Object

tools.refinery.generator.impl.ModelFacadeImpl

tools.refinery.generator.impl.ConcreteModelFacade

All Implemented Interfaces:

AutoCloseable, ModelFacade

Direct Known Subclasses:

ConcreteModelSemantics, ModelGeneratorImpl

public class ConcreteModelFacade
extends ModelFacadeImpl

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static final record	ConcreteModelFacade.Args

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	ConcreteModelFacade(ConcreteModelFacade.Args args)

Method Summary

Modifier and Type	Method	Description
Concreteness	getConcreteness()
<A extends AbstractValue<A, C>, C> PartialInterpretation<A,C>	getPartialInterpretation(PartialSymbol<A,C> partialSymbol)
protected SolutionSerializer	getSolutionSerializer()
Problem	serialize()

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

afterPropagation, checkConsistency, close, getDiagnostics, getInitializationResult, getMetadataCreator, getModel, getModelStore, getNodesMetadata, getProblemTrace, getRelationsMetadata, throwIfInitializationFailed, trySerialize

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

getPartialInterpretation

Constructor Details

ConcreteModelFacade

protected ConcreteModelFacade(ConcreteModelFacade.Args args)

Method Details

getConcreteness

public Concreteness getConcreteness()

getPartialInterpretation

public <A extends AbstractValue<A,
C>,
C>
PartialInterpretation<A,C> getPartialInterpretation(PartialSymbol<A,C> partialSymbol)

Specified by:

getPartialInterpretation in interface ModelFacade

Overrides:

getPartialInterpretation in class ModelFacadeImpl

serialize

public Problem serialize()

getSolutionSerializer

protected SolutionSerializer getSolutionSerializer()