예제 #1
0
 public virtual bool IsExposable(Set <IPTAnalysisNode> ns)
 {
     ConsistencyLattice.AVal a = (ConsistencyLattice.AVal)ConsistencyFor(ns);
     return(a.IsExposable);
 }
예제 #2
0
 public virtual bool IsExposable(Variable v)
 {
     //return false;
     ConsistencyLattice.AVal a = (ConsistencyLattice.AVal)ConsistencyFor(v);
     return(a.IsExposable);
 }