summaryrefslogtreecommitdiff
path: root/include/VDM.h
blob: 739f7ee09d7e51d041df85b4510097b25e571dbb (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
#ifndef _VDM_H
#define _VDM_H

#include <cassert>
#include <cstdlib>
#include <iostream>

#include <bigrational.h>
#include <bigrational_vector.h>
#include <bigrational_matrix.h>

using namespace std;

bigrational_vector Solve_VDM_GE(const bigrational_vector& Val,
                                const bigrational_vector& RHS);

#endif