3#include "mc/_HeaderOutputPredefine.h"
10namespace ArmadilloState {
13MCAPI ::HashedString
const& ROLLED_UP();
15MCAPI ::HashedString
const& ROLLED_UP_PEEKING();
17MCAPI ::HashedString
const& ROLLED_UP_RELAXING();
19MCAPI ::HashedString
const& ROLLED_UP_UNROLLING();
21MCAPI ::HashedString
const& UNROLLED();
Definition HashedString.h:5