org.ginsim.service.format

Class LogicalTruthTableFormatService

java.lang.Object

org.ginsim.core.service.FormatSupportService<org.colomoto.biolqm.io.implicanttables.ImplicantTableFormat>

org.ginsim.service.format.LogicalTruthTableFormatService

All Implemented Interfaces:

Service

@MetaInfServices(value=Service.class)
 @Alias(value="LogicalTruthTable")
 @ServiceStatus(value=RELEASED)
public class LogicalTruthTableFormatService
extends FormatSupportService<org.colomoto.biolqm.io.implicanttables.ImplicantTableFormat>

GINsim import/export service for the implicant table format.

Author:

Aurelien Naldi

Field Summary

Fields inherited from class org.ginsim.core.service.FormatSupportService

format

Constructor Summary

Constructors

Constructor and Description
LogicalTruthTableFormatService()

Method Summary

Methods inherited from class org.ginsim.core.service.FormatSupportService

addMissingFormats, blacklistFormat, canExport, canExportModel, canImport, export, export, export, importFile, importFile, importLRG

Methods inherited from class java.lang.Object

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

Constructor Detail

LogicalTruthTableFormatService

public LogicalTruthTableFormatService()