public class Diagnosis<R,M,O> extends Action<R,M,O>
Constructor and Description |
---|
Diagnosis(Action<? extends R,M,O> body,
List<? extends M> msgs) |
Diagnosis(Action<? extends R,M,O> body,
M... msgs) |
Modifier and Type | Method and Description |
---|---|
<S> Action<S,M,O> |
bind(Action.Continuation<? super R,S,M,O> cont)
Applies a monadic continuation to all leaves of this search tree
(transition operation).
|
Action<? extends R,M,O> |
getBody() |
protected int |
getLeafCount() |
List<M> |
getMessages() |
void |
host(Action.Visitor<? super R,M,O> v)
Performs a double dispatch to the appropriate method of a visitor.
|
boolean |
isEmpty()
Checks whether this search tree is empty.
|
<Q> Action<? extends R,M,Q> |
prune()
Simplifies this search tree by removing redundant choice nodes
and all obstructions (transition operation).
|
String |
toString() |
protected int getLeafCount()
getLeafCount
in class Action<R,M,O>
public <S> Action<S,M,O> bind(Action.Continuation<? super R,S,M,O> cont)
Action
public <Q> Action<? extends R,M,Q> prune()
Action
public boolean isEmpty()
Action
see also the complete user documentation .