public WavePropagator(
PatternModel model,
ITopology topology,
WavePropagatorOptions options)
{
this.patternCount = model.PatternCount;
this.frequencies = model.Frequencies;
this.indexCount = topology.IndexCount;
this.backtrack = options.BacktrackPolicy != null;
this.backtrackPolicy = options.BacktrackPolicy;
this.maxBacktrackDepth = options.MaxBacktrackDepth;
this.constraints = options.Constraints ?? new IWaveConstraint[0];
this.topology = topology;
this.randomDouble = options.RandomDouble ?? new Random().NextDouble;
directionsCount = topology.DirectionsCount;
this.indexPicker = options.IndexPicker ?? new EntropyTracker();
this.patternPicker = options.PatternPicker ?? new WeightedRandomPatternPicker();
switch (options.ModelConstraintAlgorithm)
{
case ModelConstraintAlgorithm.OneStep:
patternModelConstraint = new OneStepPatternModelConstraint(this, model);
break;
case ModelConstraintAlgorithm.Default:
case ModelConstraintAlgorithm.Ac4:
patternModelConstraint = new Ac4PatternModelConstraint(this, model);
break;
case ModelConstraintAlgorithm.Ac3:
patternModelConstraint = new Ac3PatternModelConstraint(this, model);
break;
default:
throw new Exception();
}
if (options.Clear)
{
Clear();
}
}
private Tuple <IIndexPicker, IPatternPicker> MakePickers(TilePropagatorOptions options)
{
var pathConstraint = options.Constraints?.OfType <EdgedPathConstraint>().FirstOrDefault();
var connectedConstraint = options.Constraints?.OfType <ConnectedConstraint>().FirstOrDefault();
var connectedPickHeuristic = connectedConstraint != null && connectedConstraint.UsePickHeuristic;
if (connectedPickHeuristic)
{
// Lists pickers that implement IFilteredIndexPicker
if (options.IndexPickerType != IndexPickerType.Default &&
options.IndexPickerType != IndexPickerType.MinEntropy &&
options.IndexPickerType != IndexPickerType.Ordered)
{
throw new Exception($"Connected Pick Heuristic is incompatible with the selected IndexPikcerType {options.IndexPickerType}");
}
if (options.IndexPickerType == IndexPickerType.Default)
{
options.IndexPickerType = IndexPickerType.MinEntropy;
}
}
// Use the appropriate random picker
// Generally this is HeapEntropyTracker, but it doesn't support some features
// so there's a few slower implementations for that
IIndexPicker indexPicker = null;
IPatternPicker patternPicker = null;
switch (options.IndexPickerType)
{
case IndexPickerType.Ordered:
{
if (options.IndexOrder != null)
{
indexPicker = new OrderedIndexPicker(options.IndexOrder);
}
else
{
indexPicker = new SimpleOrderedIndexPicker();
}
break;
}
case IndexPickerType.ArrayPriorityMinEntropy:
{
if (options.WeightSetByIndex == null || options.WeightSets == null)
{
throw new ArgumentNullException($"Expected WeightSetByIndex and WeightSets to be set");
}
if (options.TilePickerType != TilePickerType.ArrayPriority && options.TilePickerType != TilePickerType.Default)
{
throw new Exception($"ArrayPriorityMinEntropy only works with Default tile picker");
}
var weightSetCollection = new WeightSetCollection(options.WeightSetByIndex, options.WeightSets, tileModelMapping);
var entropyTracker = new ArrayPriorityEntropyTracker(weightSetCollection);
indexPicker = entropyTracker;
patternPicker = entropyTracker;
break;
}
case IndexPickerType.MinEntropy:
{
indexPicker = new EntropyTracker();
break;
}
case IndexPickerType.Default:
case IndexPickerType.HeapMinEntropy:
{
indexPicker = new HeapEntropyTracker();
break;
}
case IndexPickerType.Dirty:
{
// Create clean patterns
if (tileModelMapping.TileCoordToPatternCoordIndexAndOffset != null)
{
throw new NotSupportedException();
}
if (options.CleanTiles == null)
{
throw new ArgumentNullException($"{nameof(options.CleanTiles)} is null");
}
var cleanPatterns = options.CleanTiles.Map(t => tileModelMapping.TilesToPatternsByOffset[0][t].First());
indexPicker = new DirtyIndexPicker(new SimpleOrderedIndexPicker(), cleanPatterns);
break;
}
default:
throw new Exception($"Unknown IndexPickerType {options.IndexPickerType}");
}
if (patternPicker == null)
{
switch (options.TilePickerType)
{
case TilePickerType.Default:
case TilePickerType.Weighted:
patternPicker = new WeightedRandomPatternPicker();
break;
case TilePickerType.Ordered:
patternPicker = new SimpleOrderedPatternPicker();
break;
case TilePickerType.ArrayPriority:
if (options.WeightSetByIndex == null || options.WeightSets == null)
{
throw new ArgumentNullException($"Expected WeightSetByIndex and WeightSets to be set");
}
var weightSetCollection = new WeightSetCollection(options.WeightSetByIndex, options.WeightSets, tileModelMapping);
patternPicker = new ArrayPriorityPatternPicker(weightSetCollection);
break;
default:
throw new Exception($"Unknown TilePickerType {options.TilePickerType}");
}
}
if (connectedPickHeuristic)
{
indexPicker = connectedConstraint.GetHeuristic(
(IFilteredIndexPicker)indexPicker,
this);
}
if (options.MemoizeIndices)
{
indexPicker = new MemoizeIndexPicker(indexPicker);
}
return(Tuple.Create(indexPicker, patternPicker));
}
