Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : detection of pair already visited with the same criteria as for the...
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 17 Nov 2011 09:04:20 +0000 (10:04 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 17 Nov 2011 09:04:20 +0000 (10:04 +0100)
commitb2b85b6a120b35b2d0a4c2cf433eadad15e79edc
tree4ffdb714a6215d9f40cbb27f32dba2ede77ea18b
parent2b6a13defd8f5be6e04fe678115b24f7a53ce006
model-checker : detection of pair already visited with the same criteria as for the detection of acceptance pair already reached
src/mc/private.h