# builders.solver.restorability

Domain specification

Domain

# Restorable

A solver must inherit this class if its state can be saved and reloaded (to continue computation later on or reuse its solution).

# load Restorable

load(
  self,
path: str
) -> None

Restore the solver state from given path.

After calling self._load(), autocast itself so that rollout methods apply to the domain original characteristics.

# Parameters

  • path: The path where the solver state was saved.

# save Restorable

save(
  self,
path: str
) -> None

Save the solver state to given path.

# Parameters

  • path: The path to store the saved state.

# _load Restorable

_load(
  self,
path: str
) -> None

Restore the solver state from given path.

# Parameters

  • path: The path where the solver state was saved.

# _save Restorable

_save(
  self,
path: str
) -> None

Save the solver state to given path.

# Parameters

  • path: The path to store the saved state.