jInfer

cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.regexping.stateremoval.heuristic
Class StateRemovalHeuristicFactory

java.lang.Object
  extended by cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.regexping.stateremoval.heuristic.StateRemovalHeuristicFactory
All Implemented Interfaces:
Capabilities, NamedModule, UserModuleDescription, RegexpAutomatonSimplifierFactory

public class StateRemovalHeuristicFactory
extends Object
implements RegexpAutomatonSimplifierFactory

Factory for RegexpAutomatonSimplifierStateRemoval.


Field Summary
static String DISPLAY_NAME
          Name presented to user.
static String NAME
          Canonical name.
static String PROPERTIES_REVAL
          Property name of orderer submodule.
static String PROPERTIES_REVAL_DEFAULT
          Default orderer when none selected.
 
Constructor Summary
StateRemovalHeuristicFactory()
           
 
Method Summary
<T> RegexpAutomatonSimplifier<T>
create()
          Create simplifier.
 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

NAME

public static final String NAME
Canonical name.

See Also:
Constant Field Values

DISPLAY_NAME

public static final String DISPLAY_NAME
Name presented to user.

See Also:
Constant Field Values

PROPERTIES_REVAL

public static final String PROPERTIES_REVAL
Property name of orderer submodule.

See Also:
Constant Field Values

PROPERTIES_REVAL_DEFAULT

public static final String PROPERTIES_REVAL_DEFAULT
Default orderer when none selected.

See Also:
Constant Field Values
Constructor Detail

StateRemovalHeuristicFactory

public StateRemovalHeuristicFactory()
Method Detail

create

public <T> RegexpAutomatonSimplifier<T> create()
Description copied from interface: RegexpAutomatonSimplifierFactory
Create simplifier.

Specified by:
create in interface RegexpAutomatonSimplifierFactory
Type Parameters:
T - type of automaton symbol.
Returns:

getName

public String getName()
Description copied from interface: NamedModule
Returns a user friendly yet unique name of the module.

Specified by:
getName in interface NamedModule
Returns:
Unique module name.

getModuleDescription

public String getModuleDescription()
Description copied from interface: NamedModule
Returns the information about this module's inner workings. Most of the time will be equal to a call to NamedModule.getDisplayName(), but if the module for example consists of more sub-modules, their names should be listed here.

Specified by:
getModuleDescription in interface NamedModule
Returns:
String describing inner structure of the module.

getCapabilities

public List<String> getCapabilities()
Description copied from interface: Capabilities
Returns the list of capabilities (strings) of this module.

Specified by:
getCapabilities in interface Capabilities
Returns:
List of capability names.

getUserModuleDescription

public String getUserModuleDescription()
Description copied from interface: UserModuleDescription
Text to be displayed to user in properties panel as a moderate description of module. 10-20 lines.

Specified by:
getUserModuleDescription in interface UserModuleDescription
Returns:

getDisplayName

public String getDisplayName()
Description copied from interface: NamedModule
Returns a user friendly name of the module. This name is not neccessary unique.

Specified by:
getDisplayName in interface NamedModule
Returns:
Displayable module name.

jInfer

Generated on Fri Dec 9 00:01:25 CET 2011