This datatype holds an internal representation of the closure of a linear
transformation. After having been created (by a call
to the function
ndd_create_star_info),
this internal
representation can be used for computing efficiently the result of
applying repeatedly
its underlying transformation to sets of integer vectors represented
by NDDs. An instance of
linear_star_info can be
freed by calling the function
ndd_star_info_free.