Subversion Repositories programming

Last modification

• Rev 131 2005-10-16 23:31:37
• Author: ira

• Log message:

  Make the E() function work in all cases.
  
  Make the next_states() function always return a valid reference to a database
  value.
  
  Check final states for validity.