~srba/verifytapn/trunk

Committer: Morten Jacobsen
Date: 2011-07-15 18:00:28 UTC
Revision ID: morten.jacobsen.2k@gmail.com-20110715180028-nngo342wg5ponnxz

- Fixed bug #809860
- Changed version number to 1.0.1

added added

removed removed

virtual unsigned int GetClockIndex(unsigned int token) const { return mapping.GetMapping(token); };

virtual void AddTokens(const std::list<int>& placeIndices);

virtual void RemoveTokens(const std::vector<int>& tokenIndices);

virtual void RemoveTokens(const std::set<int>& tokenIndices);

raw_t GetLowerBound(int clock) const { return dbm(0,clock); };

const dbm::dbm_t& GetDBM() const { return dbm; };