Uses of Interface
dev.civl.sarl.IF.expr.SymbolicRange

Packages that use SymbolicRange

Package	Description
dev.civl.sarl.expr.IF	This package provides the internal interface for the representation of basic symbolic expressions.

Uses of SymbolicRange in dev.civl.sarl.expr.IF

Methods in dev.civl.sarl.expr.IF that return SymbolicRange

Modifier and Type	Method	Description
SymbolicRange[]	SymbolicRangeFactory.diff(SymbolicRange range0, SymbolicRange range1)
SymbolicRange	SymbolicRangeFactory.symbolicRange(NumericExpression element)	Generates a new SymbolicRange which only includes "element".
SymbolicRange	SymbolicRangeFactory.symbolicRange(NumericExpression lower, NumericExpression upper)	Generates a new SymbolicRange which ranges from "lower" (inclusive) to "upper" (exclusive).
SymbolicRange	SymbolicRangeFactory.symbolicRange(NumericExpression lower, NumericExpression upper, NumericExpression step)	Generates a new SymbolicRange which ranges from "lower" (inclusive) to "upper" (exclusive) taking "step" number of steps.
SymbolicRange	SymbolicRangeFactory.tryUnion(Reasoner reasoner, SymbolicRange range0, SymbolicRange range1)	Attempts to create a single SymbolicRange which is equivalent to the union of the input SymbolicRanges range0 and range1.

Methods in dev.civl.sarl.expr.IF with parameters of type SymbolicRange

Modifier and Type	Method	Description
SymbolicRange[]	SymbolicRangeFactory.diff(SymbolicRange range0, SymbolicRange range1)
BooleanExpression	SymbolicRangeFactory.disjoint(SymbolicRange range0, SymbolicRange range1)	NOTE: Currently only support ranges with a step value of 1.
BooleanExpression	SymbolicRangeFactory.equals(SymbolicRange range0, SymbolicRange range1)	NOTE: Currently only support ranges with a step value of 1.
BooleanExpression	SymbolicRangeFactory.inRange(NumericExpression expr, SymbolicRange range)
BooleanExpression	SymbolicRangeFactory.neq(SymbolicRange range0, SymbolicRange range1)	NOTE: Currently only support ranges with a step value of 1.
BooleanExpression	SymbolicRangeFactory.strictlyBelow(SymbolicRange range0, SymbolicRange range1)	NOTE: Currently only support ranges with a step value of 1.
BooleanExpression	SymbolicRangeFactory.subset(SymbolicRange range0, SymbolicRange range1)	NOTE: Currently only support ranges with a step value of 1.
SymbolicRange	SymbolicRangeFactory.tryUnion(Reasoner reasoner, SymbolicRange range0, SymbolicRange range1)	Attempts to create a single SymbolicRange which is equivalent to the union of the input SymbolicRanges range0 and range1.