Contiene tutte le strutture dati utilizzate durante la sintesi e i metodi attraverso i quali viene realizzata.
| 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. |
tabella dei mintermini.
private static List<Term> minTab
tabella della verita’ della funzione.
private static List<Term> truthTab
tabella dei implicanti primi.
private static List<ImpTerm> fimpTab
tabella contenente tutti gli implicanti primi essenziali (primari e secondari ..)
private static List<ImpTerm> eimpTab
tabella di copertura.
private static List<List<ImpTerm>> coverTab
tabella di copertura.
private static List<List<ImpTerm>> minCoverTab
lista contenente le variabili utilizzate nell’espressione.
private static List<Character> variables
Stampa a terminale le istruzioni d’uso del programma.
private static void printHelp()
Richiama tutti i metodi necessari al compimento dell’algoritmo
private static String computeMinSinFunc( String t )
Restituisce la rapressentazione alfanumerica della funzione minimizzata.
private static String getExpRep( List<ImpTerm> terms )
Restituisce la reppresentazione dell’implicante primo in input per la tabella di copertura.
private static String getTermRep( ImpTerm x )
Restituisce il letterale associato all’elemento in input.
private static String getStringRep( String element, int index )