RsBundle  Diff

Differences From Artifact [0918b9a32f]:

• File src/solver.rs — part of check-in [07f16d6a13] at 2016-09-28 08:42:58 on branch trunk — Document some modules (user: fifr size: 21642)

To Artifact [76c5cf11bf]:

• File src/solver.rs — part of check-in [5fd72003f9] at 2016-09-28 11:26:30 on branch trunk — solver: Make `params` public. (user: fifr size: 21646)

258
259
260
261
262
263
264
265
266
267
268
269
270
271
272

pub struct Solver<P>
    where P : for <'a> FirstOrderProblem<'a>
{
    /// The first order problem description.
    problem : P,

    /// The solver parameter.
    params : SolverParams,

    /// Termination predicate.
    pub terminator: Box<Terminator>,

    /// Weighter heuristic.
    pub weighter: Box<Weighter>,

|

258
259
260
261
262
263
264
265
266
267
268
269
270
271
272

pub struct Solver<P>
    where P : for <'a> FirstOrderProblem<'a>
{
    /// The first order problem description.
    problem : P,

    /// The solver parameter.
    pub params : SolverParams,

    /// Termination predicate.
    pub terminator: Box<Terminator>,

    /// Weighter heuristic.
    pub weighter: Box<Weighter>,