Package owl.command

Class AutomatonConversionCommands.Nba2DpaCommand

java.lang.Object

owl.command.AutomatonConversionCommands.Nba2DpaCommand

All Implemented Interfaces:

Callable<Integer>

Enclosing class:

AutomatonConversionCommands

public static final class AutomatonConversionCommands.Nba2DpaCommand
extends Object

Constructor Summary

Constructors

Constructor	Description
Nba2DpaCommand()
Nba2DpaCommand(AutomatonConversionCommands.Nba2DpaCommand that, NbaDetConf.UpdateMode mergeMode)

Method Summary

Modifier and Type	Method	Description
protected Class<BuchiAcceptance>	acceptanceClass()
Integer	call()
List<NbaLangInclusions.SimType>	computeSims()
protected Function<Automaton<?,? extends BuchiAcceptance>,Automaton<?,? extends ParityAcceptance>>	conversion()
NbaDetConf.UpdateMode	mergeMode()
protected List<String>	rawArgs()
boolean	sepAcc()
boolean	sepAccCyc()
boolean	sepDet()
boolean	sepMix()
boolean	sepRej()
boolean	simExt()
boolean	simInt()
String	toString()
boolean	usePowersets()
boolean	useSmartSucc()
String	verbosity()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

Nba2DpaCommand

public Nba2DpaCommand()

Nba2DpaCommand

public Nba2DpaCommand(AutomatonConversionCommands.Nba2DpaCommand that,
                      NbaDetConf.UpdateMode mergeMode)

Method Detail

acceptanceClass

protected Class<BuchiAcceptance> acceptanceClass()

conversion

protected Function<Automaton<?,? extends BuchiAcceptance>,Automaton<?,? extends ParityAcceptance>> conversion()

mergeMode

public NbaDetConf.UpdateMode mergeMode()

verbosity

public String verbosity()

computeSims

public List<NbaLangInclusions.SimType> computeSims()

simExt

public boolean simExt()

simInt

public boolean simInt()

usePowersets

public boolean usePowersets()

useSmartSucc

public boolean useSmartSucc()

sepRej

public boolean sepRej()

sepAcc

public boolean sepAcc()

sepAccCyc

public boolean sepAccCyc()

sepDet

public boolean sepDet()

sepMix

public boolean sepMix()

toString

public String toString()

Overrides:

toString in class Object

call

public final Integer call()
                   throws Exception

Throws:

Exception

rawArgs

protected List<String> rawArgs()