The STSimulator API

Copyright (C) 2007 Lars Frantzen

This program is free software: you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation, either version 3 of the License, or
(at your option) any later version.

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.

You should have received a copy of the GNU General Public License
along with this program. If not, see http://www.gnu.org/licenses/.

For the user of the simulator these three packages are important:

  1. {@link stsimulator} - here the main class {@link stsimulator.STSimulator} can be found
  2. {@link stsimulator.sts} - to create an STS, these classes are needed
  3. {@link stsimulator.types}- the type system is encoded in these classes

The main approach is:

  1. Create a {@link stsimulator.sts.SymbolicTransitionSystem} (STS) object
  2. Create an {@link stsimulator.STSimulator} object by passing the created STS
  3. Use methods from the {@link stsimulator.STSimulator} to do simulation/testing

@author Lars Frantzen @version 271007