#ifndef YCro2esMYpQbHpc3SnRqHRp4QZI
#define YCro2esMYpQbHpc3SnRqHRp4QZI

// get a continuous property by name
//  * has to have the same quantor type and will be the same instance
//  * can only be used within the evolve function of a continuous property
#define _CP(Prop) (Property_Get<Prop>::eval(pc, context, t))

// get a discrete property by name
//  * can only be used in the correct (...?) apply function
#define _DP(Prop) (Property_Get<Prop>::eval(pc, context))

// get a property from a transaction
#define _TP(Prop) (transaction.instance.template get<Prop, typename Prop::type>())

#else
#error previous use of property_abbrevation_begin not closed
#endif // YCro2esMYpQbHpc3SnRqHRp4QZI