Method UserPropagatorBase

src/api/java/UserPropagatorBase.java:10–14

(Context _ctx, Solver _solver)

    private Solver solver;

    public UserPropagatorBase(Context _ctx, Solver _solver) {
        super(_ctx.nCtx(), _solver.getNativeObject());   
        ctx = _ctx;
        solver = _solver; 
    }

    public final Context getCtx() {
        return ctx;