IronAlex
04-08-2007, 01:47 PM
hey, I think I'm not doing something correctly here..
I have a function nextState(oldState,newState) which takes my game from one state to another. the actual generating of states works fine, but when I use setof like so:
setof(newState, next(oldState,newState), U) it makes U come out as follows:
U = [newState1,newstate2,newstate3,...]
I get ... and [...] instead of the remaining states? How can I get it to show them all?
I have a function nextState(oldState,newState) which takes my game from one state to another. the actual generating of states works fine, but when I use setof like so:
setof(newState, next(oldState,newState), U) it makes U come out as follows:
U = [newState1,newstate2,newstate3,...]
I get ... and [...] instead of the remaining states? How can I get it to show them all?