Home
last modified time | relevance | path

Searched defs:emptyDomain (Results 1 – 7 of 7) sorted by relevance

/dports/math/vampire/vampire-4.5.1/Shell/
H A DTermAlgebra.cpp84 bool TermAlgebra::emptyDomain() in emptyDomain() function in Shell::TermAlgebra
/dports/math/jacop/jacop-4.8.0/src/main/java/org/jacop/core/
H A DBoundDomain.java65 final static public BoundDomain emptyDomain = new BoundDomain(); field in BoundDomain
H A DSmallDenseDomain.java49 public static final SmallDenseDomain emptyDomain = new SmallDenseDomain(1, 0L); field in SmallDenseDomain
H A DIntervalDomain.java85 final static public IntervalDomain emptyDomain = new IntervalDomain(0); field in IntervalDomain
/dports/math/jacop/jacop-4.8.0/src/main/java/org/jacop/set/core/
H A DSetDomain.java127 final static public SetDomain emptyDomain = new BoundSetDomain(); field in SetDomain
/dports/math/cvc4/CVC4-1.7/src/theory/
H A Drep_set.cpp372 bool emptyDomain = false; in do_reset_increment() local
/dports/math/jacop/jacop-4.8.0/src/main/java/org/jacop/floats/core/
H A DFloatIntervalDomain.java97 final static public FloatIntervalDomain emptyDomain = new FloatIntervalDomain(0); field in FloatIntervalDomain