C++ (Cpp) capd::C0Rect2Setの例

コード例 #1

ファイル: ode_solver.cpp プロジェクト: 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;
}