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