OwlModuleParser<Transformer>
LTL2DPACliParser
, LTL2DRACliParser
, LTL2LDBACliParser
, RabinizerCliParser
, RabinizerFrequencyMain
public static interface OwlModuleParser.TransformerParser extends OwlModuleParser<Transformer>
OwlModuleParser.ReaderParser, OwlModuleParser.TransformerParser, OwlModuleParser.WriterParser
getDescription, getKey, getOptions, parse