definition2.pb 185 Bytes
Newer Older
1 2 3 4 5 6
* Example of Definition
* Descriptions are equivalent to the following:
*      (1*~x2 2*x3 >= 2) or (1*~x2 2*x3 < 2)
d x0 => 1 ~x2 2 x3 >= 2 ;
d x1 => 1 ~x2 2 x3 < 2 ;
1 x0 1 x1 >= 1 ;