|
||||||||||
| PREV LETTER NEXT LETTER | FRAMES NO FRAMES | |||||||||
enabled.
ResultPanel connected with this viewer.
visible.
GeneratorPanel selected on the
JTabbedPane, calls the showing() method of
this panel.
ElementRule that always returns the same
element.SingleElementRule object that always returns
element.
SizeOptionsMap.SizeOptionsMap that allows a user to add certain
allowed sizes (face sizes or vertex degrees).
SizeOptionsMap that allows a user to add certain
allowed face sizes or vertex degree (in case dual is true).
GeneratorInfo that sets all settings using
setters and doesn't calculate any of the values.StaticGeneratorInfo object with the given generator
commands, embedder, filename and maximum face size.
StaticGeneratorInfo object with the given generator
commands, embedder, filename and maximum face size.
GenericButtonGroup that represents a
group where all the buttons have the same selection state.
|
||||||||||
| PREV LETTER NEXT LETTER | FRAMES NO FRAMES | |||||||||