Searched defs:emptyDomain (Results 1 – 7 of 7) sorted by relevance
84 bool TermAlgebra::emptyDomain() in emptyDomain() function in Shell::TermAlgebra
65 final static public BoundDomain emptyDomain = new BoundDomain(); field in BoundDomain
49 public static final SmallDenseDomain emptyDomain = new SmallDenseDomain(1, 0L); field in SmallDenseDomain
85 final static public IntervalDomain emptyDomain = new IntervalDomain(0); field in IntervalDomain
127 final static public SetDomain emptyDomain = new BoundSetDomain(); field in SetDomain
372 bool emptyDomain = false; in do_reset_increment() local
97 final static public FloatIntervalDomain emptyDomain = new FloatIntervalDomain(0); field in FloatIntervalDomain