// concatination
private void concat_with_const_Click(object sender, RoutedEventArgs e)
{
var f = new ConcatDecorator(new Const(concat_const.Text));
f.Subformula = formula;
formula = f;
formula_text.Content = string.Format("{0} && {1}",
formula_text.Content, concat_const.Text);
concat_const.Text = "";
}
private void concat_with_var_Click(object sender, RoutedEventArgs e)
{
if (concat_var.Text.Length == 0 || concat_var.Text.Contains(" "))
{
MessageBox.Show("Not valid variable name!");
return;
}
var f = new ConcatDecorator(new Var(concat_var.Text));
f.Subformula = formula;
formula = f;
formula_text.Content = string.Format("{0} && {1}",
formula_text.Content, concat_var.Text);
concat_var.Text = "";
}