private void Copy(SymbolicString that)
{
this.expression_type = that.expression_type;
this.atomic_symbol = that.atomic_symbol;
this.root = that.root;
this.repeat = that.repeat;
this.sub_strings = that.sub_strings;
}
private SymbolicString(List <SymbolicString> sub_strings)
{
if (sub_strings.Count == 1)
{
this.Copy(sub_strings.First());
}
else
{
this.expression_type = SymbolicStringType.Concat;
this.sub_strings = sub_strings;
}
}
private SymbolicString(SymbolicString root, LinearIntegerExpression repeat)
{
this.expression_type = SymbolicStringType.Repeat;
this.root = root;
this.repeat = repeat;
}
// Constructors
private SymbolicString(String atomic_symbol)
{
this.expression_type = SymbolicStringType.Symbol;
this.atomic_symbol = atomic_symbol;
}
private void Copy(SymbolicString that)
{
this.expression_type = that.expression_type;
this.atomic_symbol = that.atomic_symbol;
this.root = that.root;
this.repeat = that.repeat;
this.sub_strings = that.sub_strings;
}
private SymbolicString(SymbolicString root, LinearIntegerExpression repeat)
{
this.expression_type = SymbolicStringType.Repeat;
this.root = root;
this.repeat = repeat;
}
private SymbolicString(List<SymbolicString> sub_strings)
{
if (sub_strings.Count == 1)
{
this.Copy(sub_strings.First());
}
else
{
this.expression_type = SymbolicStringType.Concat;
this.sub_strings = sub_strings;
}
}
// Constructors
private SymbolicString(String atomic_symbol)
{
this.expression_type = SymbolicStringType.Symbol;
this.atomic_symbol = atomic_symbol;
}
