|
||||||||||
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 |