public bool zaleznoscOFUiOZUiOZKnieR()
{
if (!OZU.HasValue)
{
return(true);
}
if (!OZK.HasValue)
{
return(true);
}
EGB_OZU ozu = OZU.Value;
EGB_OZK ozk = OZK.Value;
//Przyjęcie przez OFU wartości:
//('Ł' lub 'Ps' lub 'S' lub 'Br' lub 'Wsr' lub 'W' lub 'Lzr' lub 'E' lub 'E-Lz' lub 'E-W')
//i przez OZU wartości: ('Ł' lub 'Ps') lub przyjęcie przez OFU wartości ('Ls' lub 'E-Ls')
//i przez OZU wartości 'Ls' lub przyjęcie przez OFU wartości ('Lz' lub 'E-Lz')
//i przez OZU wartości 'Lz' powoduje,
//że OZK może przyjąć jedną z wartości ('I' lub 'II' lub 'III' lub 'IV' lub 'V' lub 'VI').
/*inv:
* if (OFU='Ł' or OFU='Ps' or OFU='S' or OFU='Br' or OFU='Wsr' or OFU='W' or OFU='Lzr' or OFU='E?' or OFU='E-Lz' or OFU='E-W')
* and (OZU='Ł' or OZU='Ps') or ((OFU='Ls' or OFU='E-Ls') and (OZU='Ls')) or ((OFU='Lz' or OFU='E-Lz') and (OZU='Lz'))
* implies (OZK='I' or OZK='II' or OZK='III' or OZK='IV' or OZK='V' or OZK='VI')*/
if (ofuNieR(OFU))
{
if (ozu.Equals("Ł") || ozu.Equals("Ps"))
{
if (!ozkNieR(ozk))
{
return(false);
}
}
if (ozu.Equals("Ls") && (OFU.Equals("Ls") || OFU.Equals("E-Ls")))
{
if (!ozkNieR(ozk))
{
return(false);
}
}
if (ozu.Equals("Lz") && (OFU.Equals("Lz") || OFU.Equals("E-Lz")))
{
if (!ozkNieR(ozk))
{
return(false);
}
}
}
return(true);
}
private bool ofuDlaR(EGB_OFU ofu)
{
return(ofu.Equals("R") || ofu.Equals("S") || ofu.Equals("Br") || ofu.Equals("Wsr") || ofu.Equals("W") ||
ofu.Equals("Lzr") || ofu.Equals("E") || ofu.Equals("E-Lz") || ofu.Equals("E-W"));
}
private bool ofuNieR(EGB_OFU ofu)
{
return(ofu.Equals("Ł") || ofu.Equals("Ps") || ofu.Equals("S") || ofu.Equals("Br") || ofu.Equals("Wsr") ||
ofu.Equals("W") || ofu.Equals("Lzr") || ofu.Equals("E") || ofu.Equals("E-Lz") || ofu.Equals("E-W"));
}