examples/example_varset.out

   1 X = {x0,x1}
   2
   3 Var x0 has 2 states (possible values).
   4 Var x1 has 3 states.
   5
   6 VarSet {x0,x1} has 6 states (joint assignments of its variables).
   7
   8 States of VarSets correspond to states of their constituent Vars:
   9   state of x0:   state of x1:   state of X:
  10     0              0              0
  11     1              0              1
  12     0              1              2
  13     1              1              3
  14     0              2              4
  15     1              2              5
  16
  17 And vice versa:
  18   state of x0:   state of x1:   state of X:
  19     0              0              0
  20     1              0              1
  21     0              1              2
  22     1              1              3
  23     0              2              4
  24     1              2              5