Uses of Class
net.sourceforge.czt.animation.eval.result.RangeSet

Packages that use RangeSet

Package	Description
net.sourceforge.czt.animation.eval.flatpred
net.sourceforge.czt.animation.eval.result

Uses of RangeSet in net.sourceforge.czt.animation.eval.flatpred

Methods in net.sourceforge.czt.animation.eval.flatpred that return RangeSet

Modifier and Type	Method and Description
RangeSet	Bounds.getRange(net.sourceforge.czt.z.ast.ZName var0) Returns the lower and/or upper bounds of an integer variable (if known), or null otherwise.
protected RangeSet	FlatMember.range(Envir env) Returns all known information about the range of integer members, if this set happens to contain integers.

Uses of RangeSet in net.sourceforge.czt.animation.eval.result

Fields in net.sourceforge.czt.animation.eval.result declared as RangeSet

Modifier and Type	Field and Description
static RangeSet	RangeSet.integers The set of all integers.

Methods in net.sourceforge.czt.animation.eval.result that return RangeSet

Modifier and Type	Method and Description
RangeSet	RangeSet.intersect(BigInteger lo, BigInteger up) Calculates the exact intersection of this range with (lo..up).
RangeSet	RangeSet.intersect(RangeSet other) Calculates the exact intersection of two ranges.
RangeSet	RangeSet.union(BigInteger lo, BigInteger up) Calculates the 'generous union' of this range with (lo..up).
RangeSet	RangeSet.union(RangeSet other) Calculates the 'generous union' of two ranges.

Methods in net.sourceforge.czt.animation.eval.result with parameters of type RangeSet

Modifier and Type	Method and Description
RangeSet	RangeSet.intersect(RangeSet other) Calculates the exact intersection of two ranges.
RangeSet	RangeSet.union(RangeSet other) Calculates the 'generous union' of two ranges.