Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Use std::list for LivenessChecker::acceptance_pairs
authorGabriel Corona <gabriel.corona@loria.fr>
Wed, 30 Mar 2016 09:31:49 +0000 (11:31 +0200)
committerGabriel Corona <gabriel.corona@loria.fr>
Wed, 30 Mar 2016 12:14:13 +0000 (14:14 +0200)
commit30bf612c3a18711cccade2f179c4a9fc1589ab2e
treeda727f5cbfcc5be74ea1396aef87ba0a0fbf46e4
parent110611a47775c196abcea00af670b876147961ab
[mc] Use std::list for LivenessChecker::acceptance_pairs
src/mc/LivenessChecker.cpp
src/mc/LivenessChecker.hpp