/// <summary>
/// Make an if-then-else regex (?(cond)left|right)
/// </summary>
/// <param name="cond">condition</param>
/// <param name="left">true case</param>
/// <param name="right">false case</param>
/// <returns></returns>
public SymbolicRegex <S> MkIfThenElse(SymbolicRegex <S> cond, SymbolicRegex <S> left, SymbolicRegex <S> right)
{
return(SymbolicRegex <S> .MkIfThenElse(this, cond, left, right));
}
