public interface PartialAlignment<L,T,S> extends java.util.List<Move<L,T>>
Modifier and Type | Interface and Description |
---|---|
static class |
PartialAlignment.Factory |
static class |
PartialAlignment.NaiveImpl<L,T,S> |
static interface |
PartialAlignment.State<S,L,T> |
Modifier and Type | Method and Description |
---|---|
double |
getCost() |
PartialAlignment.State<S,L,T> |
getState() |
boolean |
isAlignment(java.util.List<L> ls,
java.util.Collection<S> finalMarkings) |
boolean |
isPrefixAlignment(java.util.List<L> ls) |
java.util.List<L> |
projectOnLabels() |
java.util.List<T> |
projectOnModel() |
add, add, addAll, addAll, clear, contains, containsAll, equals, get, hashCode, indexOf, isEmpty, iterator, lastIndexOf, listIterator, listIterator, remove, remove, removeAll, replaceAll, retainAll, set, size, sort, spliterator, subList, toArray, toArray