Module dev.civl.sarl

Package dev.civl.sarl.IF.expr

Interface SymbolicRange

public interface SymbolicRange

Represents a symbolic range of integer values.

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static enum	SymbolicRange.RangeKind

Method Summary

Modifier and Type	Method	Description
NumericExpression	getLower()
SymbolicRange.RangeKind	getRangeKind()
NumericExpression	getStep()
NumericExpression	getUpper()

Method Details

getRangeKind

SymbolicRange.RangeKind getRangeKind()

Returns:

the SymbolicRange.RangeKind of this object

getLower

NumericExpression getLower()

Returns:

the (inclusive) lower bound expression

getUpper

NumericExpression getUpper()

Returns:

the (exclusive) upper bound expression

getStep

NumericExpression getStep()

Returns:

the step expression