Ejemplos de capd::C0Rect2Set en C++ (Cpp)

Ejemplo n.º 1

Archivo: ode_solver.cpp Proyecto: rachelwang/dreal

bool ode_solver::check_invariant(C0Rect2Set & s, IVector const & inv) {
    IVector v(s);
    bool r = check_invariant(v, inv);
    s = C0Rect2Set(v);
    return r;
}