Viewing all changes in revision 108.
- Committer: Martin Milata
- Date: 2010-11-29 18:25:10 UTC
- Revision ID: xmilata@fi.muni.cz-20101129182510-5o9pdjt7gc0ukygm
Alternative implementation of MaxPlusPolyhedron.satisfies().
- files modified:
- opaal/lattices/maxplus_polyhedron/maxplus_polyhedron.py
expand all
collapse all
added
removed
