Viewing all changes in revision 103.
- Committer: Martin Milata
- Date: 2010-11-26 11:27:47 UTC
- Revision ID: xmilata@fi.muni.cz-20101126112747-9wwrz48ruwx63ti7
Add .clock_foo attributes to MaxPlusPolyhedron to make comparison of clocks to
constants possible in queries.
constants possible in queries.
- files modified:
- opaal/lattices/maxplus_polyhedron/maxplus_polyhedron.py
expand all
collapse all
added
removed
