Trait canrun::core::StateIterator

source · 
pub trait StateIterator: 'static {
    fn into_states(self) -> StateIter;
}
Expand description

This trait is implemented on the typical values that contain or represent an open state, such as Goal and of course State itself.

Required Methods§

Iterate over States by applying all pending Forks and checking Constraints.

Implementations on Foreign Types§

Implementors§