Ejemplos de dbm_up en C++ (Cpp)

Ejemplo n.º 1

Archivo: priced.cpp Proyecto: osankur/udbml

void pdbm_up(PDBM &pdbm, cindex_t dim)
{
    assert(pdbm && dim);

    pdbm_prepare(pdbm, dim);
    dbm_up(pdbm_matrix(pdbm), dim);

    assertx(pdbm_isValid(pdbm, dim));
}

Ejemplo n.º 2

Archivo: priced.cpp Proyecto: osankur/udbml

void pdbm_upZero(PDBM &pdbm, cindex_t dim, int32_t rate, cindex_t zero)
{
    assert(pdbm && dim && zero > 0 && zero < dim);
    assert(pdbm_areOnZeroCycle(pdbm, dim, 0, zero));

    pdbm_prepare(pdbm, dim);

    raw_t   *dbm   = pdbm_matrix(pdbm);
    int32_t *rates = pdbm_rates(pdbm);

    dbm_up(dbm, dim);
    rates[zero] = 0;
    rates[zero] = rate - pdbm_getSlopeOfDelayTrajectory(pdbm, dim);

    assertx(pdbm_isValid(pdbm, dim));
}

Ejemplo n.º 3

Archivo: clocks.cpp Proyecto: RCambier/EmbeddedAndVerification

void Clocks::up() {
    ASSERT( dbm_isValid( data, dim ) );
    dbm_up( data, dim );
}