public final class Factories
extends java.lang.Object
Modifier and Type | Field | Description |
---|---|---|
EquivalenceClassFactory |
eqFactory |
|
ValuationSetFactory |
vsFactory |
Constructor | Description |
---|---|
Factories(EquivalenceClassFactory eqFactory,
ValuationSetFactory vsFactory) |
public final EquivalenceClassFactory eqFactory
public final ValuationSetFactory vsFactory
public Factories(EquivalenceClassFactory eqFactory, ValuationSetFactory vsFactory)