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
-
Method Summary
-
Constructor Details
-
RefinementBasedInitializer
-
-
Method Details
-
initialize
- Specified by:
initialize
in interfacePartialModelInitializer
-