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