Package tools.refinery.store.reasoning.refinement

Class RefinementBasedInitializer<A extends AbstractValue<A,C>,C>

java.lang.Object

tools.refinery.store.reasoning.refinement.RefinementBasedInitializer<A,C>

All Implemented Interfaces:

PartialModelInitializer

public class RefinementBasedInitializer<A extends AbstractValue<A,C>,C>
extends Object
implements PartialModelInitializer

Constructor Summary

Constructors

Constructor	Description
RefinementBasedInitializer(PartialSymbol<A,C> partialSymbol)

Method Summary

Modifier and Type	Method	Description
void	initialize(Model model, ModelSeed modelSeed)

Methods inherited from class java.lang.Object

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

Constructor Details

RefinementBasedInitializer

public RefinementBasedInitializer(PartialSymbol<A,C> partialSymbol)

Method Details

initialize

public void initialize(Model model,
 ModelSeed modelSeed)

Specified by:

initialize in interface PartialModelInitializer