|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||
java.lang.Objecttom.library.sl.AbstractStrategy
tom.library.sl.OmegaU
public class OmegaU
OmegaU(v)
Basic visitor combinator which applies Omega(i,v) with i in [1..arity] with a uniform probability i.e. with probability 1/getChildCount
| Field Summary | |
|---|---|
static int |
ARG
|
| Fields inherited from class tom.library.sl.AbstractStrategy |
|---|
environment, visitors |
| Constructor Summary | |
|---|---|
OmegaU(Strategy v)
|
|
| Method Summary | |
|---|---|
int |
visit()
Visits the current subject (found in the environment) and place its result in the environment. |
Visitable |
visitLight(Visitable any)
Visits the subject any in a light way (without environment) |
| Methods inherited from class tom.library.sl.AbstractStrategy |
|---|
accept, getChildAt, getChildCount, getChildren, getEnvironment, getRoot, getSubject, init, init, initSubterm, initSubterm, initSubterm, initSubterm, initSubterm, setChildAt, setChildren, setEnvironment, setRoot, setSubject, visit, visit |
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Field Detail |
|---|
public static final int ARG
| Constructor Detail |
|---|
public OmegaU(Strategy v)
| Method Detail |
|---|
public Visitable visitLight(Visitable any)
throws VisitFailure
Strategy
any - the subject to visit.
VisitFailure - in case of failure.public int visit()
Strategy
|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||