A C D E F G H I L M N O P S T U V

A

AbstractStrategy - Class in tom.library.sl

A visitor that it iself visitable with a VisitorVisitor needs to implement the MuStrategy interface.

AbstractStrategy() - Constructor for class tom.library.sl.AbstractStrategy

accept(StrategyFwd) - Method in class tom.library.sl.AbstractStrategy

accept(StrategyFwd) - Method in interface tom.library.sl.Strategy

add(Path) - Method in interface tom.library.sl.Path

Computes the path from the source of this to the target of the parameter p.

add(Path) - Method in class tom.library.sl.Position

All - Class in tom.library.sl

Basic strategy combinator with one strategy argument s, that applies this strategy s to all children.

All(Strategy) - Constructor for class tom.library.sl.All

AllSeq - Class in tom.library.sl

AllSeq(v).visit(T(t1,...

AllSeq(Strategy) - Constructor for class tom.library.sl.AllSeq

ARG - Static variable in class tom.library.sl.All

ARG - Static variable in class tom.library.sl.AllSeq

ARG - Static variable in class tom.library.sl.DeRef

ARG - Static variable in class tom.library.sl.Not

ARG - Static variable in class tom.library.sl.Omega

ARG - Static variable in class tom.library.sl.OmegaU

ARG - Static variable in class tom.library.sl.One

ARG - Static variable in class tom.library.sl.OneId

ARG - Static variable in class tom.library.sl.reflective.StrategyFwd

C

changePrefix(Position, Position) - Method in class tom.library.sl.Position

Choice - Class in tom.library.sl

Choice(v1,v2) = v1 if v1 succeeds Choice(v1,v2) = v2 if v1 fails Visitor combinator with two visitor arguments, that tries to apply the first visitor and if it fails tries the other (left-biased choice).

Choice(Strategy, Strategy) - Constructor for class tom.library.sl.Choice

ChoiceId - Class in tom.library.sl

ChoiceId(v1,v2) = v1 if v1 is not Identity ChoiceId(v1,v2) = v2 otherwise Basic visitor combinator with two visitor arguments, that applies these visitors one after the other (sequential composition), if the first one is not the identity.

ChoiceId(Strategy, Strategy) - Constructor for class tom.library.sl.ChoiceId

clone() - Method in class tom.library.sl.Environment

clone() - Method in class tom.library.sl.Position

compare(Path) - Method in class tom.library.sl.Position

Compares two positions

conc(int) - Method in interface tom.library.sl.Path

Add the move i to the begining of the current path

conc(int) - Method in class tom.library.sl.Position

CONDITION - Static variable in class tom.library.sl.IfThenElse

current - Variable in class tom.library.sl.Environment

D

depth() - Method in class tom.library.sl.Environment

Get the depth of the position in the tree

depth() - Method in class tom.library.sl.Position

Get the depth of the position in the tree

DeRef - Class in tom.library.sl

down(int) - Method in class tom.library.sl.Environment

add a sub-position n

down(int) - Method in class tom.library.sl.Position

For compatibility with mutraveler positions

E

environment - Variable in class tom.library.sl.AbstractStrategy

Environment - Class in tom.library.sl

Object that represents an environment of a strategy the position where the strategy is applied a pointer to subterm the root is stored in the first cell

Environment() - Constructor for class tom.library.sl.Environment

equals(Object) - Method in class tom.library.sl.Environment

Tests if two environments are equals

equals(Object) - Method in class tom.library.sl.MuVar

equals(Object) - Method in class tom.library.sl.Position

Tests if two positions are equals

F

Fail - Class in tom.library.sl

x.accept(Fail) always raises a VisitFailure exception.

Fail() - Constructor for class tom.library.sl.Fail

Construct Fail combinator with empty failure message.

Fail(String) - Constructor for class tom.library.sl.Fail

Construct Fail combinator with a failure message to be passed to the VisitFailure that it throws.

FAILURE - Static variable in class tom.library.sl.Environment

FALSE_CASE - Static variable in class tom.library.sl.IfThenElse

FIRST - Static variable in class tom.library.sl.Choice

FIRST - Static variable in class tom.library.sl.ChoiceId

FIRST - Static variable in class tom.library.sl.Pselect

FIRST - Static variable in class tom.library.sl.Sequence

FIRST - Static variable in class tom.library.sl.SequenceId

followPath(Path) - Method in class tom.library.sl.Environment

followPathLocal(Path) - Method in class tom.library.sl.Environment

G

getCanonicalPath() - Method in interface tom.library.sl.Path

Gives the canonical form of a path.

getCanonicalPath() - Method in class tom.library.sl.Position

getChildAt(int) - Method in class tom.library.sl.AbstractStrategy

getChildAt(int) - Method in interface tom.library.sl.Visitable

getChildCount() - Method in class tom.library.sl.AbstractStrategy

getChildCount() - Method in interface tom.library.sl.Visitable

getChildren() - Method in class tom.library.sl.AbstractStrategy

getChildren() - Method in interface tom.library.sl.Visitable

Returns the list of (non builtin) Visitable children

getEnvironment() - Method in class tom.library.sl.AbstractStrategy

getEnvironment() - Method in interface tom.library.sl.Strategy

Get a reference to the current environment.

getHead() - Method in interface tom.library.sl.Path

Gives the first move of the path which is represented by an integer i.

getHead() - Method in class tom.library.sl.Position

getInstance() - Method in class tom.library.sl.MuVar

getName() - Method in class tom.library.sl.MuVar

getOmega(Strategy) - Method in class tom.library.sl.Position

create s=omega(v) such that s[subject] returns subject[ s[subject|omega] ]|omega

getOmegaPath(Strategy) - Method in class tom.library.sl.Position

create s=omegaPath(v) such that s[subject] applies s to all nodes in the path of omega in a bottom-up way

getP() - Method in class tom.library.sl.Pselect

getPos() - Method in class tom.library.sl.Omega

getPosition() - Method in class tom.library.sl.Environment

get the current position

getQ() - Method in class tom.library.sl.Pselect

getReplace(Visitable) - Method in class tom.library.sl.Position

create s=omega(x->t) such that s[subject] returns subject[t]|omega

getRoot() - Method in class tom.library.sl.AbstractStrategy

getRoot() - Method in class tom.library.sl.Environment

get the current root

getStatus() - Method in class tom.library.sl.Environment

getSubject() - Method in class tom.library.sl.AbstractStrategy

getSubject() - Method in class tom.library.sl.Environment

get the term that corresponds to the current position

getSubterm() - Method in class tom.library.sl.Position

create s=x->t|omega such that s[subject] returns subject|omega

getSuffix(Position) - Method in class tom.library.sl.Position

getTail() - Method in interface tom.library.sl.Path

Gives the tail of the path which is also a path.

getTail() - Method in class tom.library.sl.Position

H

hashCode() - Method in class tom.library.sl.Environment

hashCode() - Method in class tom.library.sl.MuVar

hashCode() - Method in class tom.library.sl.Position

hasPrefix(Position) - Method in class tom.library.sl.Position

I

IDENTITY - Static variable in class tom.library.sl.Environment

Identity - Class in tom.library.sl

x.accept(Identity) = x Basic visitor combinator without arguments that does nothing.

Identity() - Constructor for class tom.library.sl.Identity

IfThenElse - Class in tom.library.sl

IfThenElse(Strategy, Strategy, Strategy) - Constructor for class tom.library.sl.IfThenElse

IfThenElse(Strategy, Strategy) - Constructor for class tom.library.sl.IfThenElse

indexPosition - Variable in class tom.library.sl.Omega

init() - Method in class tom.library.sl.AbstractStrategy

init(Strategy, Environment) - Static method in class tom.library.sl.AbstractStrategy

initSubterm() - Method in class tom.library.sl.AbstractStrategy

initSubterm(Strategy) - Method in class tom.library.sl.AbstractStrategy

initSubterm(Strategy, Strategy) - Method in class tom.library.sl.AbstractStrategy

initSubterm(Strategy, Strategy, Strategy) - Method in class tom.library.sl.AbstractStrategy

initSubterm(Strategy[]) - Method in class tom.library.sl.AbstractStrategy

inverse() - Method in interface tom.library.sl.Path

Computes the path from the target of this to the source of this.

inverse() - Method in class tom.library.sl.Position

isExpanded() - Method in class tom.library.sl.MuVar

isRelative() - Method in class tom.library.sl.DeRef

isStrict() - Method in class tom.library.sl.DeRef

L

length() - Method in interface tom.library.sl.Path

Computes the length which corresponds to the number of moves needed to go from the source to the target.

length() - Method in class tom.library.sl.Position

M

make(Strategy) - Static method in class tom.library.sl.DeRef

make(Path) - Static method in class tom.library.sl.Position

makeRelative(Strategy) - Static method in class tom.library.sl.DeRef

makeRelativeStrict(Strategy) - Static method in class tom.library.sl.DeRef

makeStrict(Strategy) - Static method in class tom.library.sl.DeRef

Mu - Class in tom.library.sl

Mu(Strategy, Strategy) - Constructor for class tom.library.sl.Mu

muExpand() - Method in class tom.library.sl.Mu

MuVar - Class in tom.library.sl

MuVar(v) always raises a VisitFailure exception.

MuVar(String) - Constructor for class tom.library.sl.MuVar

N

name - Variable in class tom.library.sl.MuVar

Not - Class in tom.library.sl

Not(v) succeeds if and only if v fails.

Not(Strategy) - Constructor for class tom.library.sl.Not

O

omega - Variable in class tom.library.sl.Environment

Omega - Class in tom.library.sl

Omega(i,v) Basic visitor combinator which applies v the i-th subterm 0-th subterm is the term itself 1-th subterm corresponds to the first subterm ...

Omega(int, Strategy) - Constructor for class tom.library.sl.Omega

OmegaU - Class in tom.library.sl

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

OmegaU(Strategy) - Constructor for class tom.library.sl.OmegaU

One - Class in tom.library.sl

Basic strategy combinator with one strategy argument s, that applies this strategy s to exactly one child.

One(Strategy) - Constructor for class tom.library.sl.One

OneId - Class in tom.library.sl

T(t1,...

OneId(Strategy) - Constructor for class tom.library.sl.OneId

P

Path - Interface in tom.library.sl

Represent a path between two locations in a term.

Position - Class in tom.library.sl

Object that represents a position in a term

Position() - Constructor for class tom.library.sl.Position

Position(int[]) - Constructor for class tom.library.sl.Position

Position(Position, Position) - Constructor for class tom.library.sl.Position

Pselect - Class in tom.library.sl

Pselect(p,q,v1,v2) = v1 with probability p/q Pselect(p,q,v1,v2) = v2 with probability 1-(p/q) Visitor combinator with a probability and two visitor arguments, that select a visitor according to the probability p/q The strategy fails if the selected strategy fails Note that any side-effects of v1 are not undone when it fails.

Pselect(int, int, Strategy, Strategy) - Constructor for class tom.library.sl.Pselect

S

Sequence - Class in tom.library.sl

Sequence(v1,v2)[t] = v2[v1[t]] if v1 succeeds fails otherwise Basic visitor combinator with two visitor arguments, that applies these visitors one after the other (sequential composition).

Sequence(Strategy, Strategy) - Constructor for class tom.library.sl.Sequence

SequenceId - Class in tom.library.sl

x.fire(SequenceId (v1,v2)) = x.fire(v1) ; x.fire(v2) if x.fire(v1)!

SequenceId(Strategy, Strategy) - Constructor for class tom.library.sl.SequenceId

setChildAt(int, Visitable) - Method in class tom.library.sl.AbstractStrategy

setChildAt(int, Visitable) - Method in interface tom.library.sl.Visitable

setChildren(Visitable[]) - Method in class tom.library.sl.AbstractStrategy

setChildren(Visitable[]) - Method in interface tom.library.sl.Visitable

Replaces all children of any visitable at once, and returns this visitable.

setEnvironment(Environment) - Method in class tom.library.sl.AbstractStrategy

setEnvironment(Environment) - Method in interface tom.library.sl.Strategy

Set up a new environment

setInstance(Strategy) - Method in class tom.library.sl.MuVar

setName(String) - Method in class tom.library.sl.MuVar

setRoot(Visitable) - Method in class tom.library.sl.AbstractStrategy

setRoot(Visitable) - Method in class tom.library.sl.Environment

set the current root

setStatus(int) - Method in class tom.library.sl.Environment

setSubject(Visitable) - Method in class tom.library.sl.AbstractStrategy

setSubject(Visitable) - Method in class tom.library.sl.Environment

set the current term

status - Variable in class tom.library.sl.Environment

Strategy - Interface in tom.library.sl

StrategyFwd - Class in tom.library.sl.reflective

StrategyFwd(Strategy) - Constructor for class tom.library.sl.reflective.StrategyFwd

sub(Path) - Method in interface tom.library.sl.Path

Computes the path from the target of this to the target of the parameter p.

sub(Path) - Method in class tom.library.sl.Position

subterm - Variable in class tom.library.sl.Environment

SUCCESS - Static variable in class tom.library.sl.Environment

T

THEN - Static variable in class tom.library.sl.Choice

THEN - Static variable in class tom.library.sl.ChoiceId

THEN - Static variable in class tom.library.sl.Pselect

THEN - Static variable in class tom.library.sl.Sequence

THEN - Static variable in class tom.library.sl.SequenceId

toArray() - Method in class tom.library.sl.Position

tom.library.sl - package tom.library.sl

tom.library.sl.reflective - package tom.library.sl.reflective

toString() - Method in class tom.library.sl.Environment

Returns a String object representing the position.

toString() - Method in class tom.library.sl.MuVar

toString() - Method in class tom.library.sl.Position

Returns a String object representing the position.

TRUE_CASE - Static variable in class tom.library.sl.IfThenElse

U

up() - Method in class tom.library.sl.Environment

remove the last sub-position Up and down are made public to allow to write compiled strategies by hand This may be a BAD idea

up() - Method in class tom.library.sl.Position

For compatibility with mutraveler positions

upLocal() - Method in class tom.library.sl.Environment

package private remove the last sub-position but does not update the subject

V

V - Static variable in class tom.library.sl.Mu

VAR - Static variable in class tom.library.sl.Mu

visit(Environment) - Method in class tom.library.sl.AbstractStrategy

visit(Visitable) - Method in class tom.library.sl.AbstractStrategy

visit() - Method in class tom.library.sl.All

Visits the current subject (found in the environment) and place its result in the environment.

visit() - Method in class tom.library.sl.AllSeq

visit() - Method in class tom.library.sl.Choice

visit() - Method in class tom.library.sl.ChoiceId

visit() - Method in class tom.library.sl.DeRef

visit() - Method in class tom.library.sl.Fail

visit() - Method in class tom.library.sl.Identity

visit() - Method in class tom.library.sl.IfThenElse

visit() - Method in class tom.library.sl.Mu

visit() - Method in class tom.library.sl.MuVar

visit() - Method in class tom.library.sl.Not

visit() - Method in class tom.library.sl.Omega

visit() - Method in class tom.library.sl.OmegaU

visit() - Method in class tom.library.sl.One

Visits the current subject (found in the environment) and place its result in the environment.

visit() - Method in class tom.library.sl.OneId

Visits the current subject (found in the environment) and place its result in the environment.

visit() - Method in class tom.library.sl.Pselect

visit() - Method in class tom.library.sl.reflective.StrategyFwd

visit() - Method in class tom.library.sl.Sequence

visit() - Method in class tom.library.sl.SequenceId

visit(Visitable) - Method in interface tom.library.sl.Strategy

Visits the subject any by providing the environment

visit(Environment) - Method in interface tom.library.sl.Strategy

execute the strategy in the given environment (on its current subject).

visit() - Method in interface tom.library.sl.Strategy

Visits the current subject (found in the environment) and place its result in the environment.

visit_Strategy(Strategy) - Method in class tom.library.sl.reflective.StrategyFwd

Visitable - Interface in tom.library.sl

VisitFailure - Exception in tom.library.sl

VisitFailure() - Constructor for exception tom.library.sl.VisitFailure

VisitFailure(String) - Constructor for exception tom.library.sl.VisitFailure

visitLight(Visitable) - Method in class tom.library.sl.All

Visits the subject any without managing any environment

visitLight(Visitable) - Method in class tom.library.sl.AllSeq

visitLight(Visitable) - Method in class tom.library.sl.Choice

visitLight(Visitable) - Method in class tom.library.sl.ChoiceId

visitLight(Visitable) - Method in class tom.library.sl.DeRef

visitLight(Visitable) - Method in class tom.library.sl.Fail

visitLight(Visitable) - Method in class tom.library.sl.Identity

visitLight(Visitable) - Method in class tom.library.sl.IfThenElse

visitLight(Visitable) - Method in class tom.library.sl.Mu

visitLight(Visitable) - Method in class tom.library.sl.MuVar

visitLight(Visitable) - Method in class tom.library.sl.Not

visitLight(Visitable) - Method in class tom.library.sl.Omega

visitLight(Visitable) - Method in class tom.library.sl.OmegaU

visitLight(Visitable) - Method in class tom.library.sl.One

Deprecated. use fire() instead

visitLight(Visitable) - Method in class tom.library.sl.OneId

visitLight(Visitable) - Method in class tom.library.sl.Pselect

visitLight(Visitable) - Method in class tom.library.sl.reflective.StrategyFwd

visitLight(Visitable) - Method in class tom.library.sl.Sequence

visitLight(Visitable) - Method in class tom.library.sl.SequenceId

visitLight(Visitable) - Method in interface tom.library.sl.Strategy

Visits the subject any in a light way (without environment)

visitors - Variable in class tom.library.sl.AbstractStrategy

A C D E F G H I L M N O P S T U V