public Option <ValidationMessage> Execute(ProblemOccurrence po) { var expectedState = po.DeduceState(po.Alternatives(Repo.GetElement)); return((po.State != expectedState).Then(() => ValidationMessage.Error("Inconsistent State between Problem Occurrence and associated Option Occurrences"))); }
public bool CanExecute(ProblemOccurrence _) { return(true); }