ClemsonRSRG/RESOLVE — pull request #114 by yushan87 (2014-04-05 20:05:22+00:00)
Title: Sanity checks to make sure all operations are implemented

For each concept and enhancement realization, we need to check that it implements all the operations specified by the corresponding concept/enhancement. An appropriate error is thrown if the user fails to implement a specified operation.