Class NarrowingSequenceSearch
java.lang.Object
es.ucm.maude.bindings.NarrowingSequenceSearch
-
Method Summary
Modifier and TypeMethodDescription__next()
Get the next solution of the narrowing search.void
delete()
Get the frontier states.Get the most general states.int
getStateParent
(int stateNr) Get the parent state.
Get the accumulated substitution.Get the variant unifier.boolean
hasNext()
boolean
Whether some solutions may have been missed due to incomplete unification algorithms.iterator()
next()
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
Methods inherited from interface java.lang.Iterable
forEach, spliterator
Methods inherited from interface java.util.Iterator
forEachRemaining, remove
-
Method Details
-
delete
public void delete() -
iterator
-
hasNext
-
next
-
isIncomplete
public boolean isIncomplete()Whether some solutions may have been missed due to incomplete unification algorithms. -
getStateParent
public int getStateParent(int stateNr) Get the parent state.
- Parameters:
stateNr
- The number of state in the search graph.
- Returns:
- The number of the parent or -1 for the root.
-
__next
Get the next solution of the narrowing search. -
getSubstitution
Get the accumulated substitution. -
getUnifier
Get the variant unifier. -
getFrontierStates
Get the frontier states. -
getMostGeneralStates
Get the most general states.
-