AbstractDomains

Exported

---

isintersect

Is the intersection of two domains non-empty

source: AbstractDomains/src/domains.jl:14

---

isrelational

Can an abstract domain represent relationships between variables?

source: AbstractDomains/src/domains.jl:12

---

subsumes

Is domain y a subset of domain x

source: AbstractDomains/src/domains.jl:13

---

intersect{T}(x::Interval{T}, y::Interval{T})

Construct interval which is intersection of two intervals

source: AbstractDomains/src/domains/interval.jl:48

---

HyperBox{T}

An axis aligned hyperbox - a set of intervals

source: AbstractDomains/src/domains/hyperbox.jl:3

---

Interval{T<:Real}

An Interval of type 'T' between 'a' and 'b' represents all the values of type 'T' between 'a' and 'b'.

source: AbstractDomains/src/domains/interval.jl:3

Internal

---

domaineq

Does domain x and domain y represent the same set of points

source: AbstractDomains/src/domains.jl:15

---

findproduct(splits::Array{Array{Array{Float64, 1}, 1}, 1}, b::HyperBox{T})

Splits a box at a split-point along all its dimensions into n^d boxes

source: AbstractDomains/src/domains/hyperbox.jl:37

---

mid_partial_split(b::HyperBox{T}, dims::Array{Int64, 1})

Do a partial split at the midpoints of dimensions dims

source: AbstractDomains/src/domains/hyperbox.jl:76

---

mid_split(b::HyperBox{T})

Split box into 2^d equally sized boxes by cutting down middle of each axis

source: AbstractDomains/src/domains/hyperbox.jl:73

---

rand_interval(a::Float64, b::Float64)

Random number between a and b

source: AbstractDomains/src/common.jl:1