pub fn halt(&mut self) -> QueryEvent {
        self.log("HALT", &[]);
        self.goals.clear();
        self.choices.clear();
        assert!(self.is_halted());
        QueryEvent::Done { result: true }
    }
/// Halt the VM by clearing all goals and choices.
Halt the VM by clearing all goals and choices.
Halt the VM by clearing all goals and choices .
pub fn halt(&mut self) -> QueryEvent {
        self.log("HALT", &[]);
        self.goals.clear();
        self.choices.clear();
        assert!(self.is_halted());
        QueryEvent::Done { result: true }
    }
pub fn halt ( & mut self ) -> QueryEvent { self . log ( " " , & [ ] ) ; self . goals . clear ( ) ; self . choices . clear ( ) ; assert ! ( self is_halted ( ) ) ; QueryEvent :: Done { result : true } }
Halt the VM by clearing all goals and choices.
Halt the VM by clearing all goals and choices .
&mut self