state<T> function

AtomicProposition<T> state<T>(
  1. bool pred(
    1. T state
    ), {
  2. String? name,
})

Creates an atomic proposition based on a state predicate. Alias for constructing an AtomicProposition formula.

Implementation

AtomicProposition<T> state<T>(bool Function(T state) pred, {String? name}) =>
    AtomicProposition<T>(pred, name: name);