fn goals(&mut self, state: &SPState) -> Vec<(Predicate, Option<Predicate>)> {
        self.intentions.iter().filter_map(|i| {
            if i.is_executing(state) {
                Some((i.get_goal(), None))
            } else {
                None
            }
        }).collect()
    }
/// Get the current goals and invariants given a state.
Get the current goals and invariants given a state.
Get the current goals and invariants given a state .
fn goals(&mut self, state: &SPState) -> Vec<(Predicate, Option<Predicate>)> {
        self.intentions.iter().filter_map(|i| {
            if i.is_executing(state) {
                Some((i.get_goal(), None))
            } else {
                None
            }
        }).collect()
    }
fn goals ( & mut self , state : & SPState ) -> Vec < ( Predicate , Option < Predicate > ) > { self . intentions . iter ( ) . filter_map ( | i | { if i . is_executing ( state ) { Some ( ( i . get_goal ( ) , None ) ) } else { None } } ) . collect ( ) }
Get the current goals and invariants given a state.
Get the current goals and invariants given a state .
&mut self
state
&SPState