예제 #1
0
 private void menuPropagate_Click(object sender, System.EventArgs e)
 {
     patternMatching.Propagate();
 }