workcraft/workcraft

workcraft/MpsatVerificationPlugin/src/org/workcraft/plugins/mpsat_verification/tasks/AbstractChainResultHandlingMonitor.java