lp:~d504a/opaal/maxplus

Created by Michael Madsen on 2010-10-15 and last modified on 2010-12-08
Get this branch:
bzr branch lp:~d504a/opaal/maxplus
Members of d504a can upload to this branch. Log in for directions.

Branch merges

Related bugs

Related blueprints

Branch information

Owner:
d504a
Project:
opaal
Status:
Experimental

Recent revisions

112. By Michael Madsen on 2010-12-08

Fix test case

111. By Qi Lu <email address hidden> on 2010-12-08

Chang intersection test sample!

110. By Qi Lu <email address hidden> on 2010-12-08

1. Code the test for intersection algorithm.
2. Improve the intersection algorithm.
 2.1. Find out the cross points on delayed rays more reasonable.
 2.2 Make a piece of code to find extreme points in one polyhedron which are contained in the other delayed polyhedron.

109. By Martin Milata on 2010-11-30

Fix failure to remove all-MinusInf vector on MaxPlusCone.cleanup().

This was caused by lack of meaningful definition of __hash__ on _MinusInfClass.

108. By Martin Milata on 2010-11-29

Alternative implementation of MaxPlusPolyhedron.satisfies().

107. By Martin Milata on 2010-11-29

Factor out the process of taking a constraint apart.

Also, fix some tabs-instead-of-spaces.

106. By Søren Ravn on 2010-11-29

Merged changes

105. By Søren Ravn on 2010-11-29

added reset function shift_clock + test

104. By Søren Ravn on 2010-11-29

added cone tests for copy_clock function

103. By Martin Milata on 2010-11-26

Add .clock_foo attributes to MaxPlusPolyhedron to make comparison of clocks to
constants possible in queries.

Branch metadata

Branch format:
Branch format 7
Repository format:
Bazaar repository format 2a (needs bzr 1.16 or later)
Stacked on:
lp:opaal
This branch contains Public information 
Everyone can see this information.