org.eclipse.ocl.expressions

Interface StateExp<C,S>