Xbool

Contiene tutte le strutture dati utilizzate durante la sintesi e i metodi attraverso i quali viene realizzata.

Summary

Xbool	Contiene tutte le strutture dati utilizzate durante la sintesi e i metodi attraverso i quali viene realizzata.
Variables
minTab	tabella dei mintermini.
truthTab	tabella della verita’ della funzione.
fimpTab	tabella dei implicanti primi.
eimpTab	tabella contenente tutti gli implicanti primi essenziali (primari e secondari ..)
coverTab	tabella di copertura.
minCoverTab	tabella di copertura.
variables	lista contenente le variabili utilizzate nell’espressione.
Functions
printHelp	Stampa a terminale le istruzioni d’uso del programma.
computeMinSinFunc	Richiama tutti i metodi necessari al compimento dell’algoritmo
getExpRep	Restituisce la rapressentazione alfanumerica della funzione minimizzata.
getTermRep	Restituisce la reppresentazione dell’implicante primo in input per la tabella di copertura.
getStringRep	Restituisce il letterale associato all’elemento in input.

private static List<Term> minTab

tabella dei mintermini. Ottenuta da truthTab.

private static List<Term> truthTab

tabella della verita’ della funzione.

private static List<ImpTerm> fimpTab

tabella dei implicanti primi. Ottenuta dal minTab.

private static List<ImpTerm> eimpTab

tabella contenente tutti gli implicanti primi essenziali (primari e secondari ..) ottenuti a partire dagli implicanti di fimpTab.

private static List<List<ImpTerm>> coverTab

tabella di copertura.

private static List<List<ImpTerm>> minCoverTab

tabella di copertura.

private static List<Character> variables

lista contenente le variabili utilizzate nell’espressione.

private static void printHelp()

Stampa a terminale le istruzioni d’uso del programma.

private static String computeMinSinFunc( String t )

Richiama tutti i metodi necessari al compimento dell’algoritmo

private static String getExpRep( List<ImpTerm> terms )

Restituisce la rapressentazione alfanumerica della funzione minimizzata.

private static String getTermRep( ImpTerm x )

Restituisce la reppresentazione dell’implicante primo in input per la tabella di copertura.

private static String getStringRep( String element,
int index )

Restituisce il letterale associato all’elemento in input.