type(Expectation),
|
public, |
parameter
|
:: |
EXPECTATIONS(*) |
= |
[Expectation(F, F, F, F, 1, 1, F, T, F), Expectation(F, F, F, F, 1, 2, F, F, T), Expectation(F, F, F, F, 1, 2, T, T, T), Expectation(F, T, F, F, 1, 1, F, T, F), Expectation(F, T, F, F, 1, 2, F, T, F), Expectation(T, F, F, F, 1, 1, F, T, F), Expectation(T, F, F, F, 1, 2, F, T, F), Expectation(F, F, T, F, 1, 1, F, F, T), Expectation(F, F, T, F, 1, 2, F, F, T), Expectation(F, F, T, F, 1, 1, T, T, T), Expectation(F, F, T, F, 1, 2, T, T, T), Expectation(F, F, F, T, 1, 1, F, F, T), Expectation(F, F, F, T, 1, 2, F, F, T), Expectation(F, F, F, T, 1, 1, T, T, T), Expectation(F, F, F, T, 1, 2, T, T, T)] |
|