Struct PouncePersistent 

pub struct PouncePersistent { /* private fields */ }

A stateful POUNCE handle that keeps the derivative build resident across solves. Created by Pounce::persistent.

When the next model has the same variables, objective, and constraint expressions with an unchanged sparsity pattern, the resident oracle is refreshed in place, reusing the compiled tapes (and, on the enzyme path, the exact jacobians/Hessians structure) instead of rebuilding. Also, the solve is warm-started from the previous iterate. Any structural change rebuilds.

A failed solve clears the resident state. The next call rebuilds from scratch.

Implementations

impl PouncePersistent

pub fn new() -> Self

A fresh handle with no model loaded. The first solve builds it.

pub fn reset(&mut self)

Drop the resident oracle so the next solve rebuilds from scratch (and starts from the model’s initial point).

Trait Implementations

impl Debug for PouncePersistent

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for PouncePersistent

fn default() -> PouncePersistent

Returns the “default value” for a type.

impl Solver for PouncePersistent

type Options = PounceOptions

Backend-specific options struct. Use () for solvers without any tunables.

fn name(&self) -> &str

fn supports(&self, kind: ModelKind) -> bool

fn solve( &mut self, model: &Model, opts: &PounceOptions, ) -> Result<SolverResult, SolverError>

Solves the given Model using this solver.