eu.bandm.tools.util

Interface Operators.Cons<X,S>

All Known Subinterfaces:

Operators.ICons<X,S>

Enclosing class:

Operators

public static interface Operators.Cons<X,S>

Represents consuming automata with input type X and state type S.

Method Summary

Modifier and Type	Method and Description
S	consume(X x, S state) Compute a post-state from an input element and a pre-state.

Method Detail

consume

S consume(X x,
          S state)

Compute a post-state from an input element and a pre-state. Computation should be stateless and thread-safe, i.e., f.consume(x, s) for a given fixed function object f, input element x and state s should not vary unless the observable state of x or s varies.

Parameters:

x - an input element.

state - a pre-state.

Returns:

a post-state.