Beispiel #1
0
 /// <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);
 }
Beispiel #2
0
 /// <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)
 {
 }
Beispiel #3
0
 /// <summary>
 /// Default constructor
 /// </summary>
 /// <param name="p">proposal</param>
 /// <param name="s">sequence</param>
 public Answer(string p, SequenceProof s)
     : this(p, false, '{', '}', s)
 {
 }