Sign in
eclipse
/
epsilon
/
org.eclipse.epsilon
/
dbe4cdc25bf5b7abb3c03e89d7ae7cdbfd38d62d
/
.
/
examples
/
org.eclipse.epsilon.examples.flexmi.rts
/
rts.evl
blob: 8d87394bc609e6bba538a7cc7af93d60619a28d4 [
file
] [
log
] [
blame
]
context
Task
{
constraint
SensorProcessor
{
check
:
self
.
accesses
.
forAll
(
d
|
d
.
processor
=
self
.
allocatedTo
)
}
}