Package tools.refinery.store.reasoning.scope

Class ScopePropagator

java.lang.Object

tools.refinery.store.reasoning.scope.ScopePropagator

All Implemented Interfaces:

ModelStoreConfiguration

public class ScopePropagator
extends Object
implements ModelStoreConfiguration

Constructor Summary

Constructors

Constructor	Description
ScopePropagator()
ScopePropagator(Symbol<CardinalityInterval> countSymbol)

Method Summary

Modifier and Type	Method	Description
void	apply(ModelStoreBuilder storeBuilder)
ScopePropagator	scope(PartialRelation type, CardinalityInterval interval)
ScopePropagator	scopes(Collection<Map.Entry<PartialRelation,CardinalityInterval>> scopes)
ScopePropagator	scopes(Map<PartialRelation,CardinalityInterval> scopes)

Methods inherited from class java.lang.Object

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

Constructor Details

ScopePropagator

public ScopePropagator()

ScopePropagator

public ScopePropagator(Symbol<CardinalityInterval> countSymbol)

Method Details

scope

public ScopePropagator scope(PartialRelation type,
 CardinalityInterval interval)

scopes

public ScopePropagator scopes(Map<PartialRelation,CardinalityInterval> scopes)

scopes

public ScopePropagator scopes(Collection<Map.Entry<PartialRelation,CardinalityInterval>> scopes)

apply

public void apply(ModelStoreBuilder storeBuilder)

Specified by:

apply in interface ModelStoreConfiguration