fn goals(&mut self, state: &SPState) -> Vec<(Predicate, Option<Predicate>)> {
        self.operations.iter().filter_map(|op| {
            if op.is_executing(state) {
                Some((op.get_goal(Some(state)), 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.operations.iter().filter_map(|op| {
            if op.is_executing(state) {
                Some((op.get_goal(Some(state)), None))
            } else {
                None
            }
        }).collect()
    }
fn goals ( & mut self , state : & SPState ) -> Vec < ( Predicate , Option < Predicate > ) > { self . operations . iter ( ) . filter_map ( | op | { if op . is_executing ( state ) { Some ( ( op . get_goal ( Some ( state ) ) , 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