FORMAT PLIKU WEJŚCIOWEGO
Program dopuszcza w pliku *.pan wiele dowolności edycyjnych.
Ignorowane są wszystkie wiersze, które nie zaczynają się znakiem 0, 1 lub *. W takich wierszach
mogą znajdować się dowolne treści i komentarze.
Wymagane jest jednak, aby wszystkie wiersze rozpoczynające się się znakiem 0, 1 lub *, które
traktowane są jako wiersze tablicy funkcyjnej, miały prawidłowy format danych:
W każdym wierszu musi być taka sama niezerowa ilość zmiennych
W każdym wierszu musi być taka sama niezerowa ilość funkcji
Blok zmiennych i funkcji rozdziela pojedynczy znak spasji
W bloku zmiennych dopuszczalne są tylko znaki ze zbioru {0,1,*}
W bloku funkcji dopuszczalne są tylko znaki ze zbioru {0,1,-)
Dopuszczalne są powtarzające się jednakowe wiersze – program je odfiltruje
Dopuszczalne
są wiersze, gdzie wszystkie wartości funkcji wynoszą ‘-‘,
wtedy program
takie
wiersze odfiltruje
Niedopuszczalna
jest natomiast tablica sprzeczna, tzn. nie mogą wystąpić wiersze,
w
których
jednakowe są bloki zmiennych, a różne bloki funkcji
Argumenty mają nazwy odpowienio x1, x2, x3, ...
Funkcje oznaczone są kolejno f1, f2, f3, ...
Możliwe jest więc korzystanie z takich plików jak np. pliki wejściowe programu
ESPRESSO o rozszerzeniu *.pla .
Przykład:
# Przykładowy plik wejściowy w formacie pandor.
# Pliki w tym formacie powinny mieć zakończenie *.pan
Taki wiersz też można wpisać
Dopuszczalny jest też wiersz pusty (poniżej)
lub wiersz składający się z samych spasji (poniżej)
23862243047
@cagara@domicil.pl
#
Nie wolno jednak wpisać wiersza komentarza
rozpoczynającego
się znakiem 0, 1 lub * np. 15.01.2005
0*0111000 000001
101000000 00-010
101110000 000011
111101000 000100
101010000 000101
0011*0000 000110
111000000 001010
101101000 110011
101101100 110--1
111000010 101010
000111001 001011
00*110001 111000