// replace substring
private void replace_substr_const_const_Click(object sender, RoutedEventArgs e)
{
var f = new ReplaceSubstringDecorator
(new Const(cc_1.Text), new Const(cc_2.Text));
f.Subformula = formula;
formula = f;
formula_text.Content = string.Format("{0} @ ({1}, {2})",
formula_text.Content, cc_1.Text, cc_2.Text);
cc_1.Text = "";
cc_2.Text = "";
}
private void replace_substr_var_const_Click(object sender, RoutedEventArgs e)
{
if (vc_1.Text.Length == 0 || vc_1.Text.Contains(" "))
{
MessageBox.Show("Not valid variable name!");
return;
}
var f = new ReplaceSubstringDecorator
(new Var(vc_1.Text), new Const(vc_2.Text));
f.Subformula = formula;
formula = f;
formula_text.Content = string.Format("{0} @ ({1}, {2})",
formula_text.Content, vc_1.Text, vc_2.Text);
vc_1.Text = "";
vc_2.Text = "";
}
