Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Add Factor some gorry code to State::getRecordElement()
authorGabriel Corona <gabriel.corona@loria.fr>
Thu, 7 Apr 2016 09:27:49 +0000 (11:27 +0200)
committerGabriel Corona <gabriel.corona@loria.fr>
Thu, 7 Apr 2016 09:27:50 +0000 (11:27 +0200)
commit04d920dbbca9867f8440d85781e33d1f603978c7
treeb0b1aeaf614146aa9f0483b5a0c819dabbc4c058
parent2bdd4ab1f667695dbf8aeedfe7d3d940991146cd
[mc] Add Factor some gorry code to State::getRecordElement()

Avoid using should-be-private-stuff oustside of State.
src/mc/CommunicationDeterminismChecker.cpp
src/mc/LivenessChecker.cpp
src/mc/SafetyChecker.cpp
src/mc/mc_smx.cpp
src/mc/mc_smx.h
src/mc/mc_state.cpp
src/mc/mc_state.h