Method | Description | |
---|---|---|
AssumeStatement ( ) : System.Collections.Generic | ||
AssumeStatement ( System.Compiler.Expression booleanExpr ) : System.Collections.Generic | ||
AssumeStatement ( System.Compiler.Expression booleanExpr, System.Compiler.SourceContext sourceContext ) : System.Collections.Generic |
public AssumeStatement ( ) : System.Collections.Generic | ||
return | System.Collections.Generic |
public AssumeStatement ( System.Compiler.Expression booleanExpr ) : System.Collections.Generic | ||
booleanExpr | System.Compiler.Expression | |
return | System.Collections.Generic |
public AssumeStatement ( System.Compiler.Expression booleanExpr, System.Compiler.SourceContext sourceContext ) : System.Collections.Generic | ||
booleanExpr | System.Compiler.Expression | |
sourceContext | System.Compiler.SourceContext | |
return | System.Collections.Generic |