|
jInfer | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.simplifying.determinist.DeterministFactory
public class DeterministFactory
Factory for Determinist
.
Field Summary | |
---|---|
static String |
DISPLAY_NAME
Name presented to user. |
static String |
NAME
Canonical name. |
Constructor Summary | |
---|---|
DeterministFactory()
|
Method Summary | ||
---|---|---|
|
create()
Create generic AutomatonSimplifier instance. |
|
List<String> |
getCapabilities()
Returns the list of capabilities (strings) of this module. |
|
String |
getDisplayName()
Returns a user friendly name of the module. |
|
String |
getModuleDescription()
Returns the information about this module's inner workings. |
|
String |
getName()
Returns a user friendly yet unique name of the module. |
|
String |
getUserModuleDescription()
Text to be displayed to user in properties panel as a moderate description of module. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
public static final String NAME
public static final String DISPLAY_NAME
Constructor Detail |
---|
public DeterministFactory()
Method Detail |
---|
public <T> AutomatonSimplifier<T> create()
AutomatonSimplifierFactory
AutomatonSimplifier
instance. Simplifying automaton
does not depend on symbol type T.
create
in interface AutomatonSimplifierFactory
T
- type of symbol in automaton (alphabet domain)
AutomatonSimplifier
implementationpublic String getName()
NamedModule
getName
in interface NamedModule
public String getModuleDescription()
NamedModule
NamedModule.getDisplayName()
, but if the
module for example consists of more sub-modules, their names should be
listed here.
getModuleDescription
in interface NamedModule
public String getUserModuleDescription()
UserModuleDescription
getUserModuleDescription
in interface UserModuleDescription
public List<String> getCapabilities()
Capabilities
getCapabilities
in interface Capabilities
public String getDisplayName()
NamedModule
getDisplayName
in interface NamedModule
|
jInfer | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |