| Package | Description |
|---|---|
| cetus.analysis |
| Modifier and Type | Method and Description |
|---|---|
Section |
Section.clone()
Clones a section object.
|
Section |
Section.ELEMENT.differenceFrom(Section.ELEMENT other,
RangeDomain rd)
Performs difference operation between two section elements with the
specified range domain.
|
Section |
Section.differenceFrom(Section other,
RangeDomain rd)
Performs difference operation between two sections with the specified
range domain.
|
Section |
Section.intersectWith(Section other,
RangeDomain rd)
Performs intersection operation between two sections with the specified
range domain.
|
Section |
Section.unionWith(Section other,
RangeDomain rd)
Performs union operation between two sections with the specified range
domain.
|
| Modifier and Type | Method and Description |
|---|---|
Section |
Section.differenceFrom(Section other,
RangeDomain rd)
Performs difference operation between two sections with the specified
range domain.
|
Section |
Section.intersectWith(Section other,
RangeDomain rd)
Performs intersection operation between two sections with the specified
range domain.
|
Section |
Section.unionWith(Section other,
RangeDomain rd)
Performs union operation between two sections with the specified range
domain.
|
| Constructor and Description |
|---|
Section.MAP(Symbol var,
Section section)
Constructs a map with a pair of variable and section.
|