Main Page   Class Hierarchy   Alphabetical List   Compound List   File List   Compound Members   File Members  

Livingstone Class Reference

#include <livingstone.h>

List of all members.

Public Methods

 Livingstone (int N=1, int mc = 100, unsigned int length=Tracker::DEFAULT_HISTORY_LENGTH)
void read (char* system_name)
 This should return an int signalling success.


Public Attributes

Search_tracker_type tracker
 The transition system tracker that's computing the state of the system.

Tracker_reader reader


Constructor & Destructor Documentation

template<class Search_tracker_type>
Livingstone<Search_tracker_type>::Livingstone<Search_tracker_type> (
int N = 1,
int mc = 100,
unsigned int length = Tracker::DEFAULT_HISTORY_LENGTH )


Member Function Documentation

template<class Search_tracker_type>
void Livingstone<Search_tracker_type>::read (
char * system_name ) [inline]

This should return an int signalling success.


Member Data Documentation

template<class Search_tracker_type>
Tracker_reader Livingstone<Search_tracker_type>::reader

template<class Search_tracker_type>
Search_tracker_type Livingstone<Search_tracker_type>::tracker

The transition system tracker that's computing the state of the system.


The documentation for this class was generated from the following file:
Generated at Wed Sep 20 10:10:26 2000 for livingstone by doxygen 1.1.3 written by Dimitri van Heesch, © 1997-2000