A predicate type which tests if a [[StateObject]] and [[Transition]] passes some test. Returns a boolean.
Optional
A predicate type which tests if a [[StateObject]] and [[Transition]] passes some test. Returns a boolean.