C# (CSharp) Microsoft.Boogie LinearTypeChecker.DisjointnessExprForEachDomainの例

コード例 #1

ファイル: MoverCheck.cs プロジェクト: cyjseagull/boogie

 private Requires DisjointnessRequires(IEnumerable <Variable> paramVars, HashSet <Variable> frame)
 {
     return(new Requires(false, Expr.And(linearTypeChecker.DisjointnessExprForEachDomain(paramVars.Union(frame)))));
 }