Last change
on this file since 52 was 52, checked in by ruud, 14 months ago |
Fixed small issues in domaineditor.
|
File size:
333 bytes
|
Line | |
---|
1 | package geniusweb.ip.general;
|
---|
2 |
|
---|
3 | public class ElementOfMultiset {
|
---|
4 | public int element;
|
---|
5 |
|
---|
6 | public int repetition; // the number of times the element is repeated in the
|
---|
7 | // multiset
|
---|
8 |
|
---|
9 | /**
|
---|
10 | * the constructor
|
---|
11 | */
|
---|
12 | public ElementOfMultiset(int element, int repetition) {
|
---|
13 | this.element = element;
|
---|
14 | this.repetition = repetition;
|
---|
15 | }
|
---|
16 | } |
---|
Note:
See
TracBrowser
for help on using the repository browser.