public class BloomFilterBasedAlignmentCalculatorImpl<M,L,T,S>
extends java.lang.Object
Constructor and Description |
---|
BloomFilterBasedAlignmentCalculatorImpl(S initialStateInModel,
S finalStateInModel,
ModelSemantics<M,S,T> semantics,
PriceList<L,T> priceList) |
Modifier and Type | Method and Description |
---|---|
PartialAlignment<L,T,S> |
align(java.util.List<L> trace) |
double |
fetchCosts(PartialAlignment.State<S,L,T> state) |
PartialAlignment<L,T,S> |
searchStateSpace(java.util.List<L> trace,
com.google.common.hash.BloomFilter<PartialAlignment.State<S,L,T>> bloomFilter) |
public PartialAlignment<L,T,S> align(java.util.List<L> trace)
public double fetchCosts(PartialAlignment.State<S,L,T> state)
public PartialAlignment<L,T,S> searchStateSpace(java.util.List<L> trace, com.google.common.hash.BloomFilter<PartialAlignment.State<S,L,T>> bloomFilter)