/// <summary>
/// General constructor
/// </summary>
/// <param name="p">proposal</param>
/// <param name="mode">tex mode</param>
/// <param name="don">delimiter on</param>
/// <param name="doff">delimiter off</param>
/// <param name="s">sequence</param>
public Answer(string p, bool mode, char don, char doff, SequenceProof s)
{
this.Set(proposalName, p);
this.Set(texModeName, mode);
this.Set(showName, s);
this.Set(leftDelimiterName, don);
this.Set(rightDelimiterName, doff);
}
/// <summary>
/// Default constructor
/// </summary>
/// <param name="p">proposal</param>
/// <param name="mode">tex mode switch</param>
/// <param name="s">sequence</param>
public Answer(string p, bool mode, SequenceProof s)
: this(p, mode, '{', '}', s)
{
}
/// <summary>
/// Default constructor
/// </summary>
/// <param name="p">proposal</param>
/// <param name="s">sequence</param>
public Answer(string p, SequenceProof s)
: this(p, false, '{', '}', s)
{
}