2
* To change this license header, choose License Headers in Project Properties.
3
* To change this template file, choose Tools | Templates
4
* and open the template in the editor.
9
* Author: Peter G. Jensen
11
* Created on 31 May 2017, 09:26
14
#include "PetriEngine/Simplification/Vector.h"
15
#include "PetriEngine/Simplification/LPCache.h"
17
namespace PetriEngine {
18
namespace Simplification {
25
factory->invalidate(*this);
34
size_t Vector::data_size() const
36
return _data.size() * sizeof(std::pair<int,int>);