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