|
jInfer | |||||||||
PREV LETTER NEXT LETTER | FRAMES NO FRAMES |
AttributeMappingId
) containing the full
mappings (AttributeMapping
).
JPanel
to place drawn
Automaton
on.
Color
for Level.DEBUG
log level.
Color
for Level.FATAL
log level.
Color
for Level.FATAL
log level.
Color
for Level.INFO
log level.
Color
property value for particular property.
Color
property value for particular property.
Color
for Level.TRACE
log level.
Color
for Level.WARN
log level.
ProjectCustomizer.CategoryComponentProvider
for this Project properties dialog.
node
is in fact a DOM.Element
and return a type cast if so.
from
up to the end.
Children
represented by this list.
Triplet
s (element name, attribute name, attribute content)
.
RegexpInterval.isUnbounded()
before calling getMax().
File.getName()
) of this file.
FileObject
of output folder.
contextPrefix
and the context of node
When contextPrefix
is {"X","Y"} and the context of node
is {"A", "B"},
method returns {"X","Y","A","B"}.
Class
of the type this processor returns by process method within List
.
Element
, not including the root itself.
VertexShape
property value for a particular property.
VertexShape
property value for particular property.
State
mapped with a specified Coordinate
.
Coordinate
mapped with a specified State
.
button
for add files.
button
for run project.
Visualizer.saveImage(java.io.File, java.lang.String)
.
JTree
.
RXMLTree
contained in this model.
Shape
of Vertex for particular Regexp
.
AMModel
to GLPK MathProg plaintext
format.Layout
using external Graphviz dot executable.MergeContitionTester
, will merge all states
that tester returns as equivalent.MergeConditionTester
selected.
Greedy
.MergeContitionTester
, will merge all states
that tester returns as equivalent.MergeConditionTester
selected.
GreedyMDL
.Greedy
.Greedy
.waitForGUIDone()
on this instance.
waitForGUIDone()
on this instance.
guiInterrupt()
was called on this instance.
guiInterrupt()
was called on this instance.
|
jInfer | |||||||||
PREV LETTER NEXT LETTER | FRAMES NO FRAMES |