Package eu.bandm.tools.util

Interface Operators.Cons<X,S>

All Known Subinterfaces:
Operators.ICons<X,S>
All Known Implementing Classes:
Operators.IdentityCons, Operators.LiftedFold
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
    Description
    S
    consume(X x, S state)
    Compute a post-state from an input element and a pre-state.

  • Method Details

    • 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.