Exemple #1
0
 public AssumeSimpleHint(AssumeSimpleType hintType) : this(hintType, VCExprHint.EmptyExprHint())
 {
 }
Exemple #2
0
 public AssumeSimpleHint(AssumeSimpleType hintType, VCExprHint exprHint) : base(exprHint)
 {
     this.hintType = hintType;
 }